[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
909: 2020/11/28(土)10:27 ID:XyNDA0Mg(4/6) AAS
素人が必ずつまづく点
０，１，２，・・・，ω は 整列順序だが
ω，・・・，２，１，０ は 整列順序でない
なぜなら 反転させた場合、ωの後者が存在しない
（反転させる前なら、ωの前者が存在しない）
910: 2020/11/28(土)10:33 ID:XyNDA0Mg(5/6) AAS
整列集合
数学において、整列順序付けられた集合または
整列集合（せいれつしゅうごう、英: wellordered set）とは、
整列順序を備えた集合のことをいう。
整列集合 X の任意の元 s は、それが X の最大元でない限り、
ただ一つの後者（successor; 後継、次の元、直後の元）を持つ。
これはつまり、s よりも大きな X の元全体の成す部分集合における
省7
912(2): 2020/11/28(土)11:58 ID:XyNDA0Mg(6/6) AAS
>>911
＞維新さんの批判は
維新って誰よｗ
あんたも安達同様、誰も彼も維新に見える精神病にかかってるね
＞ノイマン構成の無限集合 自然数集合Ｎ にも当てはまる
何がどうあてはまる？
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s