>>756
>(ωは)”limit ordinal number”と説明されているとおり、前者は持たない
うん、ωはね
私がいっているのは、
「0からはじまりωでおわる<上昇列におけるωの前者」
別に<上昇列にω以下の全部の順序数が現れる必要ないんだけど
例えば、>>754のキミの引用を使えば
「φ(β)=ωで、βが後続順序数の場合」
って意味なんだけど分かってる?
で、φ(0)=0、γ<βのときφ(γ)<φ(β)であるなら、
そのようなβは(0でない)有限順序数、つまり自然数なんだけどな

>>見えるなら「<」の左に項がなければならないの、わかる?
>その考えが、躓きの一つでしょ
もし、<の左の項は、左側に現れる項全て、というのであれば、
キミが考える0からωまでの無限上昇列1つに対応する降下列は
無数にあるってことになるね
しかし、そのどれ1つをとってもその長さは自然数で表せるけど

いずれにしても、もし
「上昇列、即、降下列」
と思ってるなら、それが君の最大の躓きの石だよ

P.S
>king=粋蕎 とは言っていない
>粋蕎氏が、”king king”というので、
>750氏は粋蕎氏をkingと略式で呼んだのでしょう
なんか、その発想がアタマオカシイな
あんたが論理的に物事考えられない
アタマオカシイ人だってよくわかったわ