User blog comment:Testitemqlstudop/FPT, large ordinals, ordinal FGH and a new Fundamental Sequence system/@comment-35470197-20191031122541/@comment-44130370-20191031130104

Isn't Γ0 the result of the diagonalization epsilon_0, zeta_0, eta_0, etc?