トップページ⇒math

1001コメント376KB

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

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

0672１３２人目の素数さん

2011/08/23(火) 19:38:55.96

>>29
すいませんが
述語論理の無矛盾性が証明できるなんて初耳です。
どうやって証明するんですか？

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