section_heading: Aritmetika u lambda računu
paragraph_text: Nekoliko je mogućih načina za definirati prirodne brojeve u lambda računu, ali daleko najuobičajeniji su Churchovi numerali, koji mogu biti definirani na sljedeći način: i tako dalje. Intuitivno, broj <code>n</code> u lambda računu je funkcija koja prima funkciju <code>f</code> kao argument i vraća <code>n</code>-tu kompoziciju od <code>f</code>. Drugim riječima, Churchov je numeral funkcija višeg reda - prihvaća jednoargumentnu funkciju <code>f</code> i vraća drugu jednoargumentnu funkciju.