>>99
>順序も定義せずに、”正則”と叫ぶバカがいる
お前真性のバカだろ
>正則性公理(基礎の公理) 空でない集合は必ず自分自身と交わらない要素を持つ:
>∀A(A≠{}→∃x∈A∀t∈A(t∈/x))
どこに順序の定義が要るの?