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

I read you section multiple times over. I see that you have provided no examples, which to even those knowing the terminology, which I somewhat do, shows little in the realm of how to apply it to a specific notation. With the section below that, namely strength you have given an example notation, with an known well-order. In that part you’ve demonstrated what strength means.

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

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