注:该记号定义程度为7.4,原因是KNK不会写fake系列的规则(
主规则:
ψZ(0)=1
ψZ[&](#+1)=ψZ[&](#)+ψZ[&](#)+ψZ[&](#)+...
兼容规则(只展示KNK会写的,后续会陆续更新出完整的规则):
ψZn(ψZn+1(0))=ψZn[ψZn+1(0)](ψZn+1[ψZn+2(0)](ψZn+2[ψZn+3(0)](...)))
ψZn[ψZn+1(0)](ψZn+1(0))=ψZn(ψZn(ψZn(...)))
分析过程:
注:分析使用的OCF如果没有明确标记是B还是M的话,默认的是MOCF
ψZ(0)+ψZ(0)=2
ψZ(0)+ψZ(0)+ψZ(0)=3
ψZ(1)=ψZ(0)+ψZ(0)+ψZ(0)+...=ω
ψZ(1)+ψZ(0)=ω+1
ψZ(1)+ψZ(0)+ψZ(0)=ω+2
ψZ(1)+ψZ(0)+ψZ(0)+ψZ(0)=ω+3
ψZ(1)+ψZ(1)=ω×2
ψZ(1)+ψZ(1)+ψZ(0)=ω×2+1
ψZ(1)+ψZ(1)+ψZ(1)=ω×3
ψZ(1)+ψZ(1)+ψZ(1)+ψZ(1)=ω×4
ψZ(2)=ψZ(1)+ψZ(1)+ψZ(1)+...=ω2
ψZ(2)+ψZ(0)=ω2+1
ψZ(2)+ψZ(1)=ω2+ω
ψZ(2)+ψZ(2)=ω2×2
ψZ(2)+ψZ(2)+ψZ(2)=ω2×3
ψZ(3)=ψZ(2)+ψZ(2)+ψZ(2)+...=ω3
ψZ(4)=ψZ(3)+ψZ(3)+ψZ(3)+...=ω4
ψZ(ω)=ψZ(ψZ(1))=ωω
ψZ(ω)+ψZ(0)=ψZ(ψZ(1))+ψZ(0)=ωω+1
ψZ(ω)+ψZ(1)=ψZ(ψZ(1))+ψZ(1)=ωω+ω
ψZ(ω)+ψZ(2)=ψZ(ψZ(1))+ψZ(2)=ωω+ω2
ψZ(ω)+ψZ(ω)=ψZ(ψZ(1))+ψZ(ψZ(1))=ωω×2
ψZ(ω)+ψZ(ω)+ψZ(ω)=ψZ(ψZ(1))+ψZ(ψZ(1))+ψZ(ψZ(1))=ωω×3
ψZ(ω+1)=ψZ(ψZ(1)+ψZ(0))=ωω+1
ψZ(ω+2)=ψZ(ψZ(1)+ψZ(0)+ψZ(0))=ωω+2
ψZ(ω+3)=ψZ(ψZ(1)+ψZ(0)+ψZ(0)+ψZ(0))=ωω+3
ψZ(ψZ(1)+ψZ(1))=ωω×2
ψZ(ψZ(1)+ψZ(1)+ψZ(1))=ωω×3
ψZ(ψZ(2))=ωω2
ψZ(ψZ(3))=ωω3
ψZ(ψZ(ψZ(1)))=ωωω
ψZ(ψZ(ψZ(ψZ(1))))=ωωωω
ψZ(ψZ(ψZ(ψZ(ψZ(1)))))=ωωωωω
ψZ[ψZ2(0)](ψZ2(0))=ψZ(ψZ(ψZ(...)))=ε0
ψZ[ψZ2(0)](ψZ2(0))+ψZ(0)=ε0+1
ψZ[ψZ2(0)](ψZ2(0))+ψZ(1)=ε0+ω
ψZ[ψZ2(0)](ψZ2(0))+ψZ(ψZ(1))=ε0+ωω
ψZ[ψZ2(0)](ψZ2(0))+ψZ(ψZ(ψZ(1)))=ε0+ωωω
ψZ[ψZ2(0)](ψZ2(0))×2=ε0×2
ψZ[ψZ2(0)](ψZ2(0))×3=ε0×3
ψZ[ψZ2(0)](ψZ2(0)+1)=ε0×ω
ψZ[ψZ2(0)](ψZ2(0)+2)=ε0×ω2
ψZ[ψZ2(0)](ψZ2(0)+3)=ε0×ω3
ψZ[ψZ2(0)](ψZ2(0)+ψZ(1))=ε0×ωω
ψZ[ψZ2(0)](ψZ2(0)+ψZ(ψZ(1)))=ε0×ωωω
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)))=ε02
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)))+ψZ[ψZ2(0)](ψZ2(0))=ε02+ε0
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)))×2=ε02×2
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))+1)=ε02×ω
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))+ψZ(1))=ε02×ωω
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))×2)=ε03
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))×3)=ε04
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+1))=ε0ω
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+1)+1)=ε0ω×ω
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+1)+ψZ[ψZ2(0)](ψZ2(0)))=ε0ω+1
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+1)+ψZ[ψZ2(0)](ψZ2(0))×2)=ε0ω+2
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+1)×2)=ε0ω×2
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+2))=ε0ω2
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+3))=ε0ω3
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+ψZ(1)))=ε0ωω
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))))=ε0ε0
ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))))=ε0ε0ε0
ψZ[ψZ2(0)](ψZ2(0)×2)=ε1
ψZ[ψZ2(0)](ψZ2(0)×2+1)=ε1×ω
ψZ[ψZ2(0)](ψZ2(0)×2+ψZ(1))=ε1×ωω
ψZ[ψZ2(0)](ψZ2(0)×2+ψZ[ψZ2(0)](ψZ2(0)))=ε1×ε0
ψZ[ψZ2(0)](ψZ2(0)×2+ψZ[ψZ2(0)](ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))))=ε1×ε0ε0
ψZ[ψZ2(0)](ψZ2(0)×2+ψZ[ψZ2(0)](ψZ2(0)×2))=ε12
ψZ[ψZ2(0)](ψZ2(0)×2+ψZ[ψZ2(0)](ψZ2(0)×2+ψZ[ψZ2(0)](ψZ2(0))))=ε1ε0
ψZ[ψZ2(0)](ψZ2(0)×2+ψZ[ψZ2(0)](ψZ2(0)×2+ψZ[ψZ2(0)](ψZ2(0)×2)))=ε1ε1
ψZ[ψZ2(0)](ψZ2(0)×3)=ε2
ψZ[ψZ2(0)](ψZ2(1))=εω
ψZ[ψZ2(0)](ψZ2(1)+ψZ[ψZ2(0)](ψZ2(0)))=εω×ε0
ψZ[ψZ2(0)](ψZ2(1)+ψZ[ψZ2(0)](ψZ2(1)+ψZ[ψZ2(0)](ψZ2(1))))=εωεω
ψZ[ψZ2(0)](ψZ2(1)+ψZ2(0))=εω+1
ψZ[ψZ2(0)](ψZ2(1)+ψZ2(0)×2)=εω+2
ψZ[ψZ2(0)](ψZ2(1)+ψZ2(0)×3)=εω+3
ψZ[ψZ2(0)](ψZ2(1)×2)=εω×2
ψZ[ψZ2(0)](ψZ2(1)×3)=εω×3
ψZ[ψZ2(0)](ψZ2(2))=εω2
ψZ[ψZ2(0)](ψZ2(3))=εω3
ψZ[ψZ2(0)](ψZ2(ψZ(1)))=εωω
ψZ[ψZ2(0)](ψZ2(ψZ[ψZ2(0)](ψZ2(0))))=εε0
ψZ[ψZ2(0)](ψZ2(ψZ[ψZ2(0)](ψZ[ψZ2(0)](ψZ2(0)))))=εεε0
ψZ[ψZ2(0)](ψZ2(ψZ2(0)))=ψZ[ψZ2(0)](ψZ2(ψZ[ψZ2(0)](ψZ[ψZ2(0)](ψZ2(...)))))=ζ0
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+1)=ζ0×ω
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ[ψZ2(0)](ψZ2(ψZ2(0))))=ζ02
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ[ψZ2(0)](ψZ2(ψZ2(0)))))=ζ0ζ0
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(0))=εζ0+1
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(0)×2)=εζ0+2
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(1))=εζ0+ω
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ(1)))=εζ0+ωω
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(0))))=εζ0+ε0
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(0)×2)))=εζ0+ε1
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0)))))=εζ0×2
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ[ψZ2(0)](ψZ2(ψZ2(0)))))=εζ0ζ0
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(0))))=εεζ0+1
ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0))+ψZ2(0))))))=εεεζ0+1
ψZ[ψZ2(0)](ψZ2(ψZ2(0))×2)=ζ1
ψZ[ψZ2(0)](ψZ2(ψZ2(0))×3)=ζ2
ψZ[ψZ2(0)](ψZ2(ψZ2(0)+1))=ζω
ψZ[ψZ2(0)](ψZ2(ψZ2(0)+ψZ[ψZ2(0)](ψZ2(0))))=ζε0
ψZ[ψZ2(0)](ψZ2(ψZ2(0)+ψZ[ψZ2(0)](ψZ2(ψZ2(0)))))=ζζ0
ψZ[ψZ2(0)](ψZ2(ψZ2(0)+ψZ[ψZ2(0)](ψZ2(ψZ2(0)+ψZ[ψZ2(0)](ψZ2(ψZ2(0)))))))=ζζζ0
ψZ[ψZ2(0)](ψZ2(ψZ2(0)×2))=η0=φ(3,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(0)×3))=θ0=φ(4,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(0)×4))=ι0=φ(5,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(0)×5))=κ0=φ(6,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(0)×6))=λ0=φ(7,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(1)))=φ(ω,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(1))+ψZ2(0))=φ(1,φ(ω,0)+1)=εφ(ω,0)+1
ψZ[ψZ2(0)](ψZ2(ψZ2(1))+ψZ2(ψZ2(0)))=φ(2,φ(ω,0)+1)=ζφ(ω,0)+1
ψZ[ψZ2(0)](ψZ2(ψZ2(1))+ψZ2(ψZ2(0)×2))=φ(3,φ(ω,0)+1)=ηφ(ω,0)+1
ψZ[ψZ2(0)](ψZ2(ψZ2(1))+ψZ2(ψZ2(0)×3))=φ(4,φ(ω,0)+1)=θφ(ω,0)+1
ψZ[ψZ2(0)](ψZ2(ψZ2(1))×2)=φ(ω,1)
ψZ[ψZ2(0)](ψZ2(ψZ2(1))×3)=φ(ω,2)
ψZ[ψZ2(0)](ψZ2(ψZ2(1)+1))=φ(ω,ω)
ψZ[ψZ2(0)](ψZ2(ψZ2(1)+ψZ[ψZ2(0)](ψZ2(ψZ2(1)))))=φ(ω,φ(ω,0))
ψZ[ψZ2(0)](ψZ2(ψZ2(1)+ψZ[ψZ2(0)](ψZ2(ψZ2(1)+ψZ[ψZ2(0)](ψZ2(ψZ2(1)))))))=φ(ω,φ(ω,φ(ω,0))))
ψZ[ψZ2(0)](ψZ2(ψZ2(1)+ψZ2(0)))=φ(ω+1,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(1)+ψZ2(0)×2))=φ(ω+2,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(1)×2))=φ(ω×2,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(1)×3))=φ(ω×3,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(2)))=φ(ω2,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ(1))))=φ(ωω,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(0)))))=φ(ε0,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0))))))=φ(ζ0,0)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(1))))))=φ(φ(ω,0),0)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(1)))))))))=φ(φ(φ(ω,0),0),0)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))))=φ(1,0,0)=Γ0=ψ(ΩΩ)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)))+ψZ2(0))=φ(1,φ(1,0,0)+1)=εΓ0+1=ψ(ΩΩ+1)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)))+ψZ2(ψZ2(0)))=φ(2,φ(1,0,0)+1)=ζΓ0+1=ψ(ΩΩ+Ω)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)))×2)=φ(1,0,1)=Γ1=ψ(ΩΩ×2)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)))×3)=φ(1,0,2)=Γ2=ψ(ΩΩ×3)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+1))=φ(1,0,ω)=Γω=ψ(ΩΩ×ω)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))))))=φ(1,0,φ(1,0,0))=ΓΓ0=ψ(ΩΩ×ψ(ΩΩ))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+ψZ2(0)))=φ(1,1,0)=ψ(ΩΩ+1)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+ψZ2(0)×2))=φ(1,2,0)=ψ(ΩΩ+2)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+ψZ2(1)))=φ(1,ω,0)=ψ(ΩΩ+ω)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(0)))))=φ(1,φ(1,0),0)=ψ(ΩΩ+ψ(0))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0))))))=φ(1,φ(2,0),0)=ψ(ΩΩ+ψ(Ω))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))+ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)))))))=φ(1,φ(1,0,0),0)=ψ(ΩΩ+ψ(ΩΩ))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))×2))=φ(2,0,0)=ψ(ΩΩ×2)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))×3))=φ(3,0,0)=ψ(ΩΩ×3)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)+1)))=φ(ω,0,0)=ψ(ΩΩ×ω)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)+ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)))))))=φ(φ(1,0,0),0,0)=ψ(ΩΩ×ψ(ΩΩ))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)×2)))=φ(1,0,0,0)=ψ(ΩΩ2)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0)×3)))=φ(1,0,0,0,0)=ψ(ΩΩ3)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(1))))=ψ(ΩΩω)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(0))))))=ψ(ΩΩψ(0))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(0)))))))=ψ(ΩΩψ(Ω))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))))))))=ψ(ΩΩψ(ΩΩ))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(0))))))))))))=ψ(ΩΩψ(Ωψ(ΩΩ)))
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(ψZ2(0)))))=ψ(ΩΩΩ)
ψZ[ψZ2(0)](ψZ2(ψZ2(ψZ2(ψZ2(ψZ2(0))))))=ψ(ΩΩΩΩ)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)))=ψ(ψ1(0))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))+ψZ[ψZ2(0)](ψZ2(0)))=ψ(ψ1(0)+1)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))+ψZ[ψZ2(0)](ψZ2(ψZ2(0))))=ψ(ψ1(0)+ψ(Ω))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))+ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))))=ψ(ψ1(0)+ψ(ψ1(0)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))+ψZ2(0))=ψ(ψ1(0)+Ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))+ψZ2(ψZ2(0)))=ψ(ψ1(0)+ΩΩ)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))×2)=ψ(ψ1(0)×2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0))×3)=ψ(ψ1(0)×3)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+1))=ψ(ψ1(0)×ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)))))=ψ(ψ1(0)×ψ(ψ1(0)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ2(0)))=ψ(ψ1(0)×Ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ2(ψZ2(0))))=ψ(ψ1(0)×ΩΩ)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0))))=ψ(ψ1(0)2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0)+1)))=ψ(ψ1(0)ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0)+ψZ2(0))))=ψ(ψ1(0)Ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0)))))=ψ(ψ1(0)ψ1(0))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(0))))))=ψ(ψ1(0)ψ1(0)ψ1(0))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)×2))=ψ(ψ1(1))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)×2+ψZ2[ψZ3(0)](ψZ3(0)×2)))=ψ(ψ1(1)2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)×2+ψZ2[ψZ3(0)](ψZ3(0)×2+ψZ2[ψZ3(0)](ψZ3(0)×2))))=ψ(ψ1(1)ψ1(1))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)×3))=ψ(ψ1(2))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(0)×4))=ψ(ψ1(3))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(1)))=ψ(ψ1(ω))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ2[ψZ3(0)](ψZ3(0)))))=ψ(ψ1(ψ1(0)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ2[ψZ3(0)](ψZ3(ψZ2[ψZ3(0)](ψZ3(0)))))))=ψ(ψ1(ψ1(ψ1(0))))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0))))=ψ(Ω2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)))+ψZ2(0))=ψ(Ω2+Ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)))+ψZ2(ψZ2(0)))=ψ(Ω2+ΩΩ)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)))+ψZ2[ψZ3(0)](ψZ3(0)))=ψ(Ω2+ψ1(0))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)))+ψZ2[ψZ3(0)](ψZ3(0)×2))=ψ(Ω2+ψ1(1))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)))×2)=ψ(Ω2+ψ1(Ω2))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)))×3)=ψ(Ω2+ψ1(Ω2)×2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0))+1))=ψ(Ω2+ψ1(Ω2)×ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0))+ψZ2[ψZ3(0)](ψZ3(ψZ3(0))+ψZ2[ψZ3(0)](ψZ3(ψZ3(0))))))=ψ(Ω2+ψ1(Ω2)ψ1(Ω2))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0))+ψZ3(0)))=ψ(Ω2+ψ1(Ω2+1))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0))+ψZ3(ψZ2[ψZ3(0)](ψZ3(ψZ3(0))+ψZ3(0)))))=ψ(Ω2+ψ1(Ω2+ψ1(Ω2+1)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0))×2))=ψ(Ω2×2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)+1)))=ψ(Ω2×ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(ψZ3(0))))))=ψ(Ω2×ψ1(Ω2))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(ψZ3(0)+ψZ2[ψZ3(0)](ψZ3(ψZ3(0))))))))=ψ(Ω2×ψ1(Ω2×ψ1(Ω2)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(0)×2)))=ψ(Ω22)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(1))))=ψ(Ω2ω)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(ψZ2[ψZ3(0)](ψZ3(ψZ3(0)))))))=ψ(Ω2ψ1(Ω2))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(ψZ2[ψZ3(0)](ψZ3(ψZ3(ψZ2[ψZ3(0)](ψZ3(ψZ3(0))))))))))=ψ(Ω2ψ1(Ω2ψ1(Ω2)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(ψZ3(0)))))=ψ(Ω2Ω2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3(ψZ3(ψZ3(ψZ3(0))))))=ψ(Ω2Ω2Ω2)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(0))))=ψ(ψ2(0))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(ψZ[ψZ2(0)](ψZ2(0))))))=ψ(ψ2(ψ(0)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(ψZ2[ψZ3(0)](ψZ3(0))))))=ψ(ψ2(ψ1(0)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(ψZ3[ψZ4(0)](ψZ4(0))))))=ψ(ψ2(ψ2(0)))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(ψZ3[ψZ4(0)](ψZ4(ψZ3[ψZ4(0)](ψZ4(0))))))))=ψ(ψ2(ψ2(ψ2(0))))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(ψZ4(0)))))=ψ(Ω3)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(ψZ4(ψZ4(0))))))=ψ(Ω3Ω3)
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4[ψZ5(0)](ψZ5(0)))))=ψ(ψ3(0))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4[ψZ5(0)](ψZ5(ψZ5[ψZ6(0)](ψZ6(0)))))))=ψ(ψ4(0))
ψZ[ψZ2(0)](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4[ψZ5(0)](ψZ5(ψZ5[ψZ6(0)](ψZ6(ψZ6[ψZ7(0)](ψZ7(0)))))))))=ψ(ψ5(0))
ψZ(ψZ2(0))=ψ(Ωω)=(0)(1,1,1)
ψZ(ψZ2(0)+1)=ψ(Ωω)×ω=(0)(1,1,1)(1)
ψZ(ψZ2(0)+ψ(ψZ2(0)))=ψ(Ωω+ψ(Ωω))=(0)(1,1,1)(1)(2,1,1)
ψZ(ψZ2(0)+ψ(ψZ2(0)+ψ(ψZ2(0))))=ψ(Ωω+ψ(Ωω+ψ(Ωω)))=(0)(1,1,1)(1)(2,1,1)(2)(3,1,1)
ψZ[ψZ2(0)×2](ψZ2(0)×2)=ψ(Ωω+Ω)=(0)(1,1,1)(1,1)
ψZ[ψZ2(0)×2](ψZ2(0)×3)=ψ(Ωω+Ω×2)=(0)(1,1,1)(1,1)(1,1)
ψZ[ψZ2(0)×2](ψZ2(1))=ψ(Ωω+Ω×ω)=(0)(1,1,1)(1,1)(2)
ψZ[ψZ2(0)×2](ψZ2(ψZ2(0)))=ψ(Ωω+Ω2)=(0)(1,1,1)(1,1)(2,1)
ψZ[ψZ2(0)×2](ψZ2(ψZ2(ψZ2(0))))=ψ(Ωω+ΩΩ)=(0)(1,1,1)(1,1)(2,1)(3,1)
ψZ[ψZ2(0)×2](ψZ2[ψZ3(0)](ψZ3(0)))=ψ(Ωω+ψ1(0))=(0)(1,1,1)(1,1)(2,2)
ψZ[ψZ2(0)×2](ψZ2[ψZ3(0)](ψZ3[ψZ4(0)](ψZ4(0))))=ψ(Ωω+ψ1(ψ2(0)))=(0)(1,1,1)(1,1)(2,2)(3,3)
ψZ[ψZ2(0)×2](ψZ2(ψZ3(0)))=ψ(Ωω+ψ1(Ωω))=(0)(1,1,1)(1,1)(2,2,1)
ψZ[ψZ2(0)×2](ψZ2(ψZ3(0)+ψZ2(ψZ3(0))))=ψ(Ωω+ψ1(Ωω+ψ1(Ωω)))=(0)(1,1,1)(1,1)(2,2,1)(2,1)(3,2,1)
ψZ[ψZ2(0)×2](ψZ2[ψZ3(0)×2](ψZ3(0)×2))=ψ(Ωω+Ω2)=(0)(1,1,1)(1,1)(2,2,1)(2,2)
ψZ[ψZ2(0)×2](ψZ2[ψZ3(0)×2](ψZ3[ψZ4(0)×2](ψZ4(0)×2)))=ψ(Ωω+Ω3)=(0)(1,1,1)(1,1)(2,2,1)(2,2)(3,3,1)(3,3)
ψZ(ψZ2(0)×2)=ψ(Ωω×2)=(0)(1,1,1)(1,1,1)
这里提供一下知乎的错误版本:ψZ[ψZ2(0)](ψZ2(ψZ3(0)))=ψ(Ωω×2)=(0)(1,1,1)(1,1,1)
ψZ(ψZ2(0)×3)=ψ(Ωω×3)=(0)(1,1,1)(1,1,1)(1,1,1)
ψZ[ψZ2(1)](ψZ2(1))=ψ(Ωω×ω)=(0)(1,1,1)(2)
ψZ(ψZ2(1))=ψ(Ωω×Ω)=(0)(1,1,1)(2,1)
ψZ(ψZ2(1)+ψZ(ψZ2(1)))=ψ(Ωω×Ω+ψ(Ωω×Ω))=(0)(1,1,1)(2,1)(1)(2,1,1)(3,1)
ψZ[ψZ2(1)+ψZ2(0)](ψZ2(1)+ψZ2(0))=ψ(Ωω×Ω+Ω)=(0)(1,1,1)(2,1)(1,1)
ψZ(ψZ2(1)+ψZ2(0))=ψ(Ωω2)=(0)(1,1,1)(2,1)(1,1,1)