Note: The first several parts may be the same as existing one. But just hold on, it will soon get crazy.
Up to Omega[]
definition[]
I use ρ(Greek letter rho) for my OCF.
(x and y are ordinals)
I don't know if it works, but I mean that one step in rho is "the smallest number that can't be acieved by addition and multiplication from current step."
analysis[]
, because the first step is zero and you can't get one from zero.
The limit is .
Stil calm[]
means a fixed point and keep going on.
(Is it correct?)