User blog comment:Scorcher007/S - Large Countable Ordinal Notation. Chapter I, Up to KPm./@comment-31580368-20190912145823/@comment-31580368-20190912151817

Well, I have to think about a more precise redefinition of axioms.

But I suppose you understand what purpose I wanted to achieve with this hierarchy of ordinals.