User blog comment:Hyp cos/TON, stable ordinals, and my array notation/@comment-31580368-20191006023842/@comment-31580368-20191006033034

This is an intuitive analysis, referring to the author of the notation (chapter 6.2). Beyond ZFC we can use as the base theory ZFC- +inaccessible cardinal.