User blog comment:Flitri/An ordinal Collapsing up to the Least weakly Mahlo Cardinal/@comment-35470197-20190409053305/@comment-35470197-20190412022323

> I read you section multiple times over. I see that you have provided no examples

Uh, you need more concrete (i.e. descrived in known explicit ordinals), right? Ok. Actually, I have written more concrete examples in its Japanese translation page, and hence I will translate it into English. Thank you for the feedback.

> Given no examples in that section, the best guess of what I should do next is to define a binary relationship x < y between elements x & y of T written in normal form from the rules I’ve given.

> Here are some of the terms I understand: Well-order Normal/Canonical form Cofinality, that written part was a typo

Ok, I understood that they were just typos. Then I continue to use usual set theory in the explanation.

> I will also remove any terms that are out of my reach of understanding as well.

Ok. After then, please read back in order to clarify all the definitions of undefined stuffs. (When we remove descriptions, then remaining stuffs often become unexpectedly undefined.)