\(\eta_0\), 是一个可数序数 定义为 \(\alpha\mapsto\)\(\,\zeta\)\(_\alpha\)函数的第一个不动点. 它等于 \(\varphi(3,0)\) 用凡勃伦函数[英语], \(\psi_0(\Omega^3)=\psi_0(\psi_1(\psi_1(0)+\psi_1(0)))\) 用 布克霍尔兹的psi函数[英语], 和 \(\psi(\Omega^2)\) 用 马都尔的psi函数[英语].
参见[]
基础： 基数 · 普通函数 · 序符号 · 序数
理论： Presburger arithmetic · 皮亚诺算术 · 二阶算术 · ZFC
可数序： \(\omega\) · \(\varepsilon_0\) · \(\zeta_0\) · \(\eta_0\) ·\(\Gamma_0\) · \(\varphi(1,0,0,0)\)（阿克曼序） · \(\psi_0(\Omega^{\Omega^{\omega}})\)（小凡勃伦序） · \(\psi_0(\Omega^{\Omega^{\Omega}})\)（大凡勃伦序） · \(\psi_0(\varepsilon_{\Omega + 1}) = \psi_0(\Omega_2)\)（巴赫曼-霍华德序） · \(\psi_0(\Omega_{\omega})\)（用布赫霍尔茨的\(\psi\)函数） · \(\psi_0(\varepsilon_{\Omega_\omega + 1})\)（塔克第-费佛曼-布克霍尔兹序） · \(\omega_1^\mathfrak{Ch}\) · \(\omega_1^\text{CK}\)（丘奇-克莱尼序） · \(\lambda,\zeta,\Sigma,\gamma\)
非可数基数: \(\omega_1\) · omega fixed point · inaccessible cardinal \(I\) · Mahlo cardinal \(M\) · weakly compact cardinal \(K\) · indescribable cardinal · rank-into-rank cardinal