User blog comment:Googleaarex/Proof of ordinal tetration/@comment-5529393-20170804111611

You need to define ordinal tetration before you can prove statements about it.