>>641

おサルは、基礎論弱いね
下記小野先生（>>496）Ｐ821 右欄に、Lowenheim-Skolem とコンパクト性定理の話が書いてあるだろ？
（一階の理論はその無限モデルの濃度を制御できない、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない）
ここ（下記）が理解できないみたいだね（＾＾

(引用開始)
>同様に、可算無限多重シングルトンを、有限シングルトンの極限（可算無限 lim ｎ→∞）として定義すれば良いだけのこと
未だ分かってないのかｗ
{}, {{}}, {{{}}}, … は収束しませんｗ　よって極限はありませんｗ
よってあなたの定義はwell-definedではありませんｗ
(引用終り)

実数値 rn のlim ｎ→∞と、実数値でない集合の極限lim ｎ→∞との違いが分かってないね（＾＾
集合Sn={0,1,2,・・,n}で、自然数の集合N=lim ｎ→∞ Sn (={0,1,2,・・,n})={0,1,2,・・,n,・・}（nは全ての自然数を渡る）
とできるよ（出来なきゃおかしいでしょｗ）
{0,1,2,・・,n,・・}に、最後の元は無い！ 自然数Nになる直前の集合も無い！別に構わんだろ？ｗ

同様に
ｎ重シングルトンS'n={・・{}・・}（n重）で、N重シングルトンS'N=lim ｎ→∞ S'n (={・・{}・・})={・・{・・{}・・}・・}（nは全ての自然数を渡る）
上記同様に、N重シングルトンS'Nになる直前の集合も無い！別に構わんだろ？ｗ

つづく