这部分更理论化的内容就是Lambda算子相关内容，推荐看https://en.wikipedia.org/wiki/Lambda_calculus 了解Lambda算子，丘奇数的定义和运算在Arithmetic in lambda calculus部分。