0025132人目の素数さん垢版 | 大砲2019/01/27(日) 01:40:12.43ID:+YxO8ApV >>17 ペアノの公理から始まっている様に見えて、実際には古典解析学の成果を前提にしている。