User blog comment:P進大好きbot/New Googological Ruler/@comment-39605890-20191208005500/@comment-35470197-20191208221333

But the existence of such a Σ_k-formula is explicitly verified in the paragraph below Lemma 13.13 in Jech's "set theory". I could not see any vilolation to Tarskian paradox.