トップページ⇒math

1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

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

0148１３２人目の素数さん

2011/01/16(日) 10:30:53

>>145
単純に、ZFCが無矛盾だとすれば、の前提つきでの話。
もちろん、矛盾していても証明できるけど。

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