[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
186(1): 基礎論好き 2021/12/13(月)07:35 ID:k/Z1+LUI(1/3) AAS
>>183
>ｎ重シングルトン： Sn：＝{・・{}・・} とする
>無限重シングルトン： S∞：＝ lim n→∞ Sn とする
確認ですがこれはZFC公理系での議論ですかね？
前に言ったように、集合に対する「lim n→∞」が未定義だというのが私の意見です。
実数に対する「lim n→∞」が定義されているのは前提として構いませんが、それを一般の集合へどのように拡張するのでしょうか？
189(2): 2021/12/13(月)07:47 ID:opQRq1+v(5/5) AAS
>>186
どうも
>前に言ったように、集合に対する「lim n→∞」が未定義だというのが私の意見です。
>実数に対する「lim n→∞」が定義されているのは前提として構いませんが、それを一般の集合へどのように拡張するのでしょうか？
良い質問だね
で、下記の自然数の構成を熟読してください
何を言いたいかというと、あなたは、数と集合を完全に分けて考えているよね
でも、現代数学では、「数も集合」なんだよ。それを思い出してくださいね
(参考) >>184より再録
外部ﾘﾝｸ:ja.wikipedia.org
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.210s*