０は自然数か？ [無断転載禁止]©2ch.net

[0803 １３２人目の素数さん 2019/02/03(日) 21:42:09.10 ID:Y/h7rprv]

>>790
そっから先は選択次第って事だよ
ゲーデルの不完全性定理って知ってる？
選択公理って知ってる？
証明可能と選択した体系と
反証可能と選択とした体系と
で独立に存在する場合が有るんだよ
だから選択公理の出番なの