7-195
>ψで表された順序数への収束列は、おそらく以下のように定まるはずです。
7-203
>収束列の定義は、以下のようになるはずです。

その確信の根拠は？