1001コメント392KB

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

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

0737716

2011/06/12(日) 06:23:59.28

んじゃ、

×完全性定理に選択公理が必要なことについては、
〇完全性定理に選択公理（の弱いやつ）が必要なことについては、

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