>>303
(引用開始)
>n<ωとしか書けないとすると
>n+1,n+2,・・・ の部分はどうなるの?
ωから0への降下列で、なんで、
ω以下のすべての順序数が出て来なくてはいけない!
とキ違ってるんだ? この中卒は
(引用終り)
頭わるい
論点すり替え
まず
順序数ωで、
1,2,3,・・・,n,・・・ω は、整列集合>>302
整礎かつ全順序
自然数部分
1,2,3,・・・,n,・・・ は、全ての自然数を走って良い
全ての自然数を走るから、数学的帰納法成立する
自然数の集合Nにωを加える
{1,2,3,・・・,n,・・・ω}で、ωは最大の元だ
繰り返すが、自然数の集合Nは整列集合で、
全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ>>302
最大の元を加えても、「S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ」
には、影響しないから、集合N+ω も、整列集合
だから、超限帰納法の使える集合だよね
”n<ωとしか書けないとすると
n+1,n+2,・・・ の部分はどうなるの?”
って、話になる
一般の列として、すべての順序数が出てくる必要はないが
超限帰納法を使う集合としては、すべての順序数が出てくる必要あり
ってことだよね
探検
現代数学の系譜 カントル 超限集合論他 3
■ このスレッドは過去ログ倉庫に格納されています
304132人目の素数さん
2021/11/11(木) 07:21:37.87ID:2lobWA6d■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領 日本を批判「トヨタは100万台米国で販売する一方GMやフォードはほとんど販売してない。米国の企業は他国で排除」 [Hitzeschleier★]
- 米財務長官 各国はパニックにならず報復しないように 報復なければ今の数字が上限、報復すれば事態は悪化すると警告 ★3 [Hitzeschleier★]
- フランスで「大谷翔平」がほぼ無名な理由。フランス人に知られる日本人、知られていない日本人 [王子★]
- 武藤経産相「極めて遺憾」“トランプ関税”日本の除外求める考え 措置に対抗するため政府系金融機関からの融資要件の緩和へ [Hitzeschleier★]
- 「シンゾーはすぐ理解」 トランプ氏、相互関税に絡め安倍氏を称賛 ★2 [蚤の市★]
- 【ゲーム】ニンテンドースイッチ2国内専用モデルで海外への転売対策! 国内も抽選応募条件に50時間プレイ実績必須 ★2 [Ikhtiandr★]
- 大和Gアナリスト「トランプ関税はかなり織り込まれた、日本株は売られすぎ、年末は45000円予想」 [512028397]
- 安倍イズオーヴァー… [884040186]
- 【相互関税】日本政府、遺憾砲を発射 [147827849]
- 中国政府、発表 「米相互関税に対抗措置を講じる」 [147827849]
- るるさん
- 【遺憾砲】 武藤経産大臣「トランプ政権の相互関税は極めて遺憾! 対抗策を導入する」 ⇨ 政府系金融機関の融資要件緩和を発表 [485983549]