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