User blog:Alemagno12/Lambda notation vs standard ordinal notation

You can find the definition for lambda notation here.

Also, when I say that A in lambda notation = B in standard ordinal notation, I mean that A and B are diagonalizers of functions that are the same.

Up to I
λ0 = Ω, Ψ(x,1) = Ω1+x, and Ψ(λ1,1) = I.