普通的数学运算用这个纯抽象的符号演算来定义，计算结果只能在脑子里存在。所以写了点代码，来验证文章中介绍的演算规则。
我们来验证文章里介绍的自然数及自然数运算规则。说到自然数，今天还百度了一下，据度娘说，1993年后国家规定0是属于自然数。先定义自然数及自然数的运算规则：
用lambda表达式定义自然数（邱齐数）
0 := λf.λx.x
1 := λf.λx.f x
2 := λf.λx.f (f x)
3 := λf.λx.f (f (f x))
...
上面定义直观的意思就是数字n, 是f(x)的n阶函数。1就是f(x), 2就是f(f(x))….，严格来说，这样表述并不准确。其实每个
