実数を使わないと証明できない整数論の結果はありますか？ (18ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
8(1): poem 04/29(火)21:05 ID:aOxFfPZf(4/4) AAS
ある数4が無矛盾かは
ある数4の時点で無矛盾が証明され
次の数5でも無矛盾が証明されたとき
ある数4の無矛盾が疑われる
次の数5では矛盾してなきゃいけない
これは
自己言及が無いとき、矛盾してなきゃいけない、は誤りで
無矛盾でいいでしょ？
つまりΠ01言及は自己言及など特殊なケースでなきゃいけないとわかる
9(1): 04/30(水)03:35 ID:lLAlFc1U(1) AAS
>>8
おまえは何も理解してないだろ
単語を並べて何かを考えた気持ちになってんじゃねーぞ
死ね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.031s