[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
905(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/28(土)09:58 ID:OgYXcJu7(1/5) AAS
>>904
(引用開始)
>無限列が２列できる
> 1, 2，・・, n,・・, ∞
無限列に最後の項はありません、あったら無限列であることと矛盾します
(引用終り)
・小学生：無限遠点がある？ それって、無限に限りがあるから、矛盾
省19
906: 2020/11/28(土)10:19 ID:XyNDA0Mg(1/6) AAS
>>905
＞・数学者：無限遠点を考える方がすっきりするよ。ＺＦＣでは無矛盾だよ
◆yH25M02vWFhP：ωは無限遠点だよ ド素人のボクにも絵が見えた！
・・・正真正銘のidiot
907: 2020/11/28(土)10:22 ID:XyNDA0Mg(2/6) AAS
>>905
＞レーヴェンハイム?スコーレムの定理
＞ 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は
＞ 無限のモデルを持たねばならないことをも示す
◆yH25M02vWFhP：無限は超準（ノンスタンダード）自然数！（キリッ）
・・・正真正銘のidiot
908: 2020/11/28(土)10:24 ID:XyNDA0Mg(3/6) AAS
>>905
＞モデル理論
＞ 一階述語論理では、すべての無限濃度は可算である言語にとっては同じに見える
＞ 区別できないってことでしょ？
◆yH25M02vWFhP：いかなる無限も同じ可算濃度！（キリッ）
・・・正真正銘のidiot
924: 2020/11/29(日)13:26 ID:vgFanAut(1/2) AAS
>>905
屁理屈はいいので、その列の∞なる項が何項目かを答えて下さい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s