User blog comment:Mh314159/A hopefully powerful new system/@comment-33713741-20190627114835/@comment-35470197-20190628011327

@GamesFan2000

It is bounded by SCG(13) according to Friedman, but we do not have a non-trivial upperbound of SCG(13) using FGH as far as I know. At least TREE(3) is greater than the natural number defined by replacing the occurrence of "ZFC" in the definition of the least transcendental integer by "ACA_0 + Pi12-BI" according to Friedman.