19/09/29 13:43:57.28 WcBxaUNf.net
>>594
ID:NoBnYUlZ 毎度のことですが、今度も間違ってますね
URLﾘﾝｸ(ja.wikipedia.org)
「（正則性公理とは）空でない集合は必ず自分自身と交わらない要素を持つ。
∀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に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス）」