21/06/20 09:34:49.71 jA2rtNGF.net
>>468
結局かけてないじゃん。全く理解出来てない君の代わりに
> ０からはじめて、より大きい順序数をその都度選ぶ、
> というプロセスをつづけることですが
何でダメか丁寧に解説してあげよう。
この定義だと君が上昇列でないというω+1が上昇列になるから。
この定義のようなものを最大限汲み取って数式に直してあげると、xが上昇列とは
(1) xの全ての要素は順序数である
(2) 0∈x
(3) ∀y∈x,(y< sup x→ ∃z∈x , y<z)
この定義に照らすとω+1は上昇列である(1)(2)は自明に満たす。(3)についてはsup ω+1 =ωなので、y<ωの時yは自然数のためz=y+1とすればよい。（証明終わり）
何か反論したいのであればちゃんと「数式」で書いてね。数学科を自称するのであればね。