User blog comment:Scorcher007/About Cofinality, sipmly/@comment-34422464-20190722143442/@comment-35470197-20190722145007

> non-successor

If you assumed it, then the cofinality of ω would be ill-defined.