邱奇编码本身并非用来实践原始型别，而是透过它来展现我们不须额外原始型别即可表达计算。很多学数学的学生熟悉可计算函数集合的哥德尔编号；邱奇编码是定义在lambda抽象而不是自然数上的等价运算。
邱奇数.邱奇数为使用邱奇编码的自然数表示法，而用以表示自然数formula_1的高阶函数是个任意函数formula_2映射到它自身的"n"重函数复合之函数，简言之，数的「值」即等价于参数被函数包裹的次数。不论邱奇数为何，其都是接受两个参数的函数。就是说，自然数formula_1被表