指由λ演算发明者Alonzo Church所提出以函数方式表示的整数。在λ演算中无常数，而以邱池整数表示数目
一个已知邱池整数的转回函数可表示如下：
church n＝c若n＝0nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp; cfx＝x
否则nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp; cfx＝c`f（fx）而c`＝church（n－1）。
另外nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp; unchurch c＝c（＋1）0系将邱池整数换为一般整数的函数。