>>316
>抑制する公理の代表例が 正則性公理だろう
だから非整礎集合の非存在を証明するには正則性公理が必要だろ？正則性公理無しでは存在も非存在も証明できない。
まったく同じで無限公理無しではωの存在も非存在も証明できない。証明できないのに非存在とする君が間違い。
理論から存在も非存在も証明できない集合はそのモデルに存在してもしなくても良い。
モデルが分かってない。さんざん言われてるのに頑なに勉強しない。