トップページ⇒math

563コメント211KB

ゲーデル不完全性定理

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

0149１３２人目の素数さん

2005/05/30(月) 10:22:46

>>148
Tが無矛盾なら無矛盾性述語「￢Pr(T，g(⊥))」はTで証明不能だから公理系T'=T∪{Pr(T，g(⊥))}も無矛盾といいたい？

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