Veblen

扩展——指数不动点 进一步的，我们可以考虑\(\omega^{\omega^{\omega^{...}}}\) 仿照\(\omega\)的定义，我们定义\(\epsilon_0=\sup\{\omega,\omega^\omega,\omega^{\omega^\omega},...\}\) 另一种 ......