>>298 >>300
遅レスだが、ZFCの公理の中では、正則性公理だけが（集合存在について）禁止的公理だ。
だから、正則性公理を除いた公理系が無矛盾であることはほぼ自明であるし、
正則性公理を除かない場合も、無矛盾性を示すには正則性公理だけに注意しておけばよい、
なんていうことはないの？ｗ