21/12/13 07:35:37.85 k/Z1+LUI.net
>>183
>ｎ重シングルトン： Sn：＝{・・{}・・} とする
>無限重シングルトン： S∞：＝ lim n→∞ Sn とする
確認ですがこれはZFC公理系での議論ですかね？
前に言ったように、集合に対する「lim n→∞」が未定義だというのが私の意見です。
実数に対する「lim n→∞」が定義されているのは前提として構いませんが、それを一般の集合へどのように拡張するのでしょうか？
21/12/13 07:35:37.85 k/Z1+LUI.net
>>183
>ｎ重シングルトン： Sn：＝{・・{}・・} とする
>無限重シングルトン： S∞：＝ lim n→∞ Sn とする
確認ですがこれはZFC公理系での議論ですかね？
前に言ったように、集合に対する「lim n→∞」が未定義だというのが私の意見です。
実数に対する「lim n→∞」が定義されているのは前提として構いませんが、それを一般の集合へどのように拡張するのでしょうか？