プラトンが残した数学の業績って何?