User blog comment:Ubersketch/Ordinals with transfinite FS expansions/@comment-35470197-20190701222433/@comment-34422464-20190702000254

Well-foundedness?