1001コメント376KB

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

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

0736１３２人目の素数さん

2011/08/27(土) 15:53:07.48

733と675にシツモソ：
１階述語論理の無矛盾性が命題論理の無矛盾性に帰着されるのはいいんだけど
そんで命題論理の無矛盾性はどうやって証明するの？

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