実数を使わないと証明できない整数論の結果はありますか？

実数を使わないと証明できない整数論の結果はありますか？ at MATH

8:poem
25/04/29 21:05:17.10 aOxFfPZf.net
ある数4が無矛盾かは
ある数4の時点で無矛盾が証明され
次の数5でも無矛盾が証明されたとき
ある数4の無矛盾が疑われる
次の数5では矛盾してなきゃいけない
これは
自己言及が無いとき、矛盾してなきゃいけない、は誤りで
無矛盾でいいでしょ？
つまりΠ01言及は自己言及など特殊なケースでなきゃいけないとわかる

次ページ