User blog comment:Scorcher007/Large countable ordinal notation up to Z2 and ZFC/@comment-11227630-20181124020537/@comment-31580368-20181124030534

Then there must be other definitions of ordinals that would meet the level of [ZFC-+"ωω 1 exists"]