I Churchs koding av naturlige tall, så representeres et tall som termen , hvor er definert som og . Intuisjonen er at tall representeres ved en iterator som gitt en funksjon og et startverdi vil kalle på funksjonen ganger med startverdien.