User blog comment:Ubersketch/Collapsing the first 1-dinal/@comment-35470197-20190702215756/@comment-34422464-20190703162403

Yeah, thanks for reminding me I need to define a few axioms for n-sets and classes. Hypernomial Hierarchy v3 is well defined, since it doesn't use ordinals.