1001コメント525KB

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

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

0173１３２人目の素数さん

2012/07/30(月) 13:16:25.58

いずれにしろΩ-論理では自己の無矛盾性が証明できる。
ZFC|-Con(ZFC)

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