User blog:Qq1010903229/Ordinals Beyond \(\varepsilon 0\) And Its BEAF Approximation