User blog comment:Edwin Shade/Understanding The Infinite/@comment-25337554-20171111092456

> As for ordinal tetration, it is undefined, and thus all of ordinal arithmetic is governed by the above nine laws.

Tetration CAN be defined. The problem is that it's stuck at ε_0.