M的拓展是ψ(M(1;@(1,0)))是ψ(K)
那如果同样的把K也套入这个规则
ψ(K(1;@(1,0)))会是ψ(к)吗
以下是一些举例
ψ(K(1,0,0))＝ψ(K(1;0))
ψ(K(1@ω))＝ψ(K(1;0)^ω)
ψ(K(1@(1@(…))))＝ψ(Ω_K(1;0)＋1)
那如果同样的把K也套入这个规则
ψ(K(1;@(1,0)))会是ψ(к)吗
以下是一些举例
ψ(K(1,0,0))＝ψ(K(1;0))
ψ(K(1@ω))＝ψ(K(1;0)^ω)
ψ(K(1@(1@(…))))＝ψ(Ω_K(1;0)＋1)
