递归不可达序数：修订间差异

2025年8月23日 (六) 09:04的版本

$(1) ψ_{I} (0) = 1 s t (1 -)^{1, 0} 2$

$(2) ψ_{I} (a + 1) \neq ψ_{I} (a) ψ_{I} (a + 1) = (1 -)^{1, 0} a f t ψ_{I} (a)$

@@ 第1行： / 第1行： @@
 <math>(1)\psi_I(0)=1st
 (1-)^{1,0} 2 </math>
+<math>(2)\psi_I(a+1)\neq\psi_I(a)
+\psi_I(a+1)=(1-)^{1,0}
+aft\psi_I(a)</math>