0581132人目の素数さん垢版 | 大砲2018/02/27(火) 09:39:49.01ID:U+k5jpWl 探したら出てきましたね ペアノ算術以外の構成方法もあるんですね わかりました でもペアノ算術においては数学的帰納法を公理として付け加えるのが一般的です