ここのテンプレ引用したらこんな意見が。

ゲーデルの不完全性定理により数学敗北
http://science6.2ch.net/test/read.cgi/math/1169247917/

783:１３２人目の素数さん :2007/04/09(月) 02:47:31 [sage]
なんかA４の論理云々って無茶苦茶だよ。
論理は古典述語論理で変わらないでしょ？
せいぜい「理論」だよ。

0.999999.........の（もっと一般的に3.1415926535897932.........のような無限小数の）
指示対象をどうやって決めるか、という問題。


785:１３２人目の素数さん :2007/04/09(月) 04:24:01 [sage]
A4が無茶だな。 「公理が違えば結果は異なる」程度で十分じゃないか？