[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）8 (942ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
924(1): 2021/06/09(水)21:10 ID:jbbJWE6N(3/7) AAS
>>923
>ωの前者は存在しない
なら
>0<1<…<ω が<無限列
は間違いだね。〇<ωの〇が存在しないなら＜列になり様が無い。馬鹿ですか？
925(3): 2021/06/09(水)22:36 ID:jbbJWE6N(4/7) AAS
>>923
おサルさんへの問題
Q1 0<1の真偽を述べよ
Q2 1<0の真偽を述べよ
Q3 <0の真偽を述べよ
「左辺が存在しない不等式」を許容する”おサル数学”なら当然真か偽で答えられますよね？答えて下さい。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.232s*