563コメント211KB

ゲーデル不完全性定理

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

0145１３２人目の素数さん

2005/05/29(日) 04:04:27

モデルってどんなものならいいんでしたっけ？Tが矛盾してたらモデルは存在しないですよね。

Tがω矛盾なら？

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