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

実数を使わないと証明できない整数論の結果はありますか？ (18ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

10: poem [] 04/30(水)05:17 ID:rHuK5eSo(1/5)
>>9 Π01言及って俄には信じがたいからね
普通無矛盾で証明できたなら証明じゃん
普通に数字ならそうなはずなんだけど
という普通感覚から俄にはという事

11: poem [] 04/30(水)05:21 ID:rHuK5eSo(2/5)
けどΠ01言及も普通感覚から自己言及する際
数字ならそうなるはずを逸脱してるのは
把握まではできないけど経験し識閾
だから俄に信じがたいも不正確
ではあるんだけどね問題も

12: poem [] 04/30(水)05:28 ID:rHuK5eSo(3/5)
整数論は整数の未知の等式の話だろうから
Π01言及は証明の未知の話だから
整数論じゃないはずだけどね

13: poem [] 04/30(水)05:30 ID:rHuK5eSo(4/5)
逆に
0除算乗算の話は
0×0≠0
0×0=error
とかだから
ちゃんと整数論
未知の等式

16(1): poem [] 04/30(水)18:59 ID:rHuK5eSo(5/5)
ミーンミーン民見ん