>>711
>シングルトンによる後者関数であっても極限順序数は可能ですよ

より正確にいえば
「後者関数による後者がシングルトンであっても、極限順序数は生成可能」

で、核心

◆yH25M02vWFhP氏、がいってるのは
「後者関数による後者がシングルトンならば、極限もシングルトン」
ですよね？

それ、間違ってます(・Д・)９ ﾋﾞｼｯ!

後者関数がいかなるものであっても、
無限公理で定められるωは無限集合（正確には可算無限集合）