[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）8 (942ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
921(1): 2021/06/09(水)18:45 ID:jbbJWE6N(2/7) AAS
>>920
え？？？
0<1<…<ω が<無限列であってもωの前者は存在しないと言いたいの？
自分の主張くらいはっきり述べましょう 愚図るな おまえは3歳児か
923(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/06/09(水)21:02 ID:ok0M7iSE(2/3) AAS
>>921
>0<1<…<ω が<無限列であってもωの前者は存在しないと言いたいの？
Yes！（＾＾
1）0<1<…<ω は無限列
2）ω は『後続順序数』ではない、即ち、ωの前者は存在しない
これが、人（カントールによる）の数学です
>>922
レーヴェンハイム?スコーレム:
1）一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる
2）いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.454s*