トップページ⇒math

563コメント211KB

ゲーデル不完全性定理

■ このスレッドは過去ログ倉庫に格納されています

0146１３２人目の素数さん

2005/05/29(日) 11:08:15

>>145
＞Tが矛盾してたらモデルは存在しないですよね。

でも、Pr(g(⊥))が真だからといって、
矛盾するとはいえないところがポイント

■ このスレッドは過去ログ倉庫に格納されています