We can encode natural numbers by terms of the type ( o → o ) → ( o → o ) {\displaystyle (o\to o)\to (o\to o)} (Church numerals).
Οι φυσικός αριθμός φυσικοί αριθμοί μπορούν να κωδικοποιηθούν από όρους του τύπου ( o → o ) → ( o → o ) {\displaystyle (o\to o)\to (o\to o)} (Αριθμητικά Τσερτς).