1001コメント525KB

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

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

0102１３２人目の素数さん

2012/07/23(月) 11:21:33.45

理論Tが矛盾した論理式を証明可能なことは証明できるよ。
つまり
T |- ￢Con(T)

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