トップページ⇒math

1001コメント392KB

数学基礎論・数理論理学　その9

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

0071１３２人目の素数さん

2011/10/05(水) 15:18:06.44

完全性＝証明が可能か不可能か決まること
無矛盾性＝ある命題Pが真かつ偽でないこと

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