>>594
ID:NoBnYUlZ　毎度のことですが、今度も間違ってますね

https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86

「（正則性公理とは）空でない集合は必ず自分自身と交わらない要素を持つ。
　∀A（¬(A=Φ)⇒∃x∈A.∀t∈A.¬(t∈x))
　以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。

　任意の空でない集合xに対して、∃y∈x,x∩y=0
　∀xについて、∈がx上well-founded
　∀xについて、無限下降列である x∋x_1∋x_2∋...は存在しない。
　V=WF
　（Vはフォン・ノイマン宇宙
　　WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス）」