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

Yes, I know what a set is, and what the axiom of regularity is, but I don't see how adding a proper class ordinal breaks anything in a system with n-classes and n-sets. And for most of my ill-defined stuff, I usually abandon it or try and fix it.