19/12/24 07:34:05.37 UkAnARu3.net
>>49
>シングルトン、と言い切った瞬間 トンデモ
>ω={x} ⇔ x=ω-1
>ない筈の前者が現れた これこそトンデモ
おまえ、定義と名付けが逆転しているぞ
(>>47より引用開始)
結局は、極限なんだよ
Zermelo構成による後者関数の極限
lim n→∞ suc(n) が存在する
それを、可算多重シングルトンωと名付ける(数学的には定義するだな)
(引用終り)
それでは、数学は出来ないぞ
もう一度書く
Zermelo構成による後者関数の極限 lim n→∞ suc(n) を、可算多重シングルトンωと名付ける(数学的に定義する)
ってこと
これを否定したいなら、
Zermelo構成による後者関数の極限 lim n→∞ suc(n)
が、正則性公理に反すること証明してみなよ
おっさんw(^^;