Edit Comment on
20070311-1
n[0] = "通りすがり"; m[0] = "向こうでも書きましたが、?Gが真であるモデル（ω矛盾）は、「証明可能なのに偽」という点で、”不健全”なものです。世の中、いつだってヒネた奴がいるもんです・・・私のように・・・ＯＴＬ"; d[0] = "2007-03-12 09:20:03"; n[1] = "かがみ"; m[1] = "通りすがりさん、こんばんは。<br>ω矛盾するモデルは最初はびっくり仰天でした、最近はあたりまえ感が強くなり、ある意味新鮮さが薄れてしまったかも知れません。そうは言うものの「あさっての日記」のように自分自身今だ多々混乱がありそうです (笑)。面白いのは、こういう「不健全」な方への拡張が多産であることで、巨大基数 (不健全とはいいまえんが) などもそうですが、カントールの「数学の本質はその自由性にある」という言葉は本当に的を得ていると思います。<br>どうもコメントありがとうございます。"; d[1] = "2007-03-13 02:06:25";
(password)