21/05/28 10:02:54.05 zRagxKXt.net
ω∋ｘのｘが自然数でないなら、ωの定義「0 を含むあらゆる帰納的集合の共通部分」に反する。
よってωの∈下降列は有限列。
ω以下の順序数すべてが含まれる∈下降列は作れない。ω∋ｘのｘがどんな自然数でもそれより大きい自然数が存在するから。
サルはサル山へ帰れ。
21/05/28 10:02:54.05 zRagxKXt.net
ω∋ｘのｘが自然数でないなら、ωの定義「0 を含むあらゆる帰納的集合の共通部分」に反する。
よってωの∈下降列は有限列。
ω以下の順序数すべてが含まれる∈下降列は作れない。ω∋ｘのｘがどんな自然数でもそれより大きい自然数が存在するから。
サルはサル山へ帰れ。