1001コメント525KB

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

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

0771１３２人目の素数さん

2012/09/15(土) 20:37:02.31

もし∃ｘ(ｘ＝ｘ)が論理公理なら
ＺＦＣの公理に空集合公理は要らないのでは？
分出公理があれば空集合公理は導けるはず

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