>>17
ペアノの公理から始まっている様に見えて、実際には古典解析学の成果を前提にしている。