>>754 文字化け訂正

A transfinite sequence of type α, or an α-sequence, is a function φ defined on {β?β<α}.
　↓
A transfinite sequence of type α, or an α-sequence, is a function φ defined on {β|β<α}.

>>755
>君、「＜ω」見える？　ωの左の「＜」見える？

見えるよ、心眼を凝らせばね。そこは、
https://encyclopediaofmath.org/wiki/Ordinal_number
これの冒頭にある
但し、後に”limit ordinal number”と説明されているとおり、前者は持たない

>見えるなら「＜」の左に項がなければならないの、わかる？

その考えが、躓きの一つでしょ

>>>751　king=粋蕎　って言ってる？　そうなの？

king=粋蕎 とは言っていない
粋蕎氏が、”king king”というので、>>750氏は粋蕎氏をkingと略式で呼んだのでしょう
10年くらい前の人で、いまは”king”と名乗る固定ハンドル名は居ないと思うよ（少なくとも見たことがない）
説明は>>751の通りです