0653132人目の素数さん垢版 | 大砲2019/09/29(日) 13:29:21.13ID:s0bEnY0r >>646 時枝記事では、自然数の定義はせいぜいペアノの公理で事足りる(実は、ペアノの公理も必要はない)が、 何でこのような自然数の構成の話をしているんだ?