In the original presentation, Church used only two base types: o {\displaystyle o} for "the type of propositions" and ι {\displaystyle \iota } for "the type of individuals".
Στην αρχική παρουσίασή του, ο Τσερτς χρησιμοποίησε μόνο δύο βασικούς τύπους: o {\displaystyle o} για τον "τύπο των προτάσεων" και ι {\displaystyle \iota } για τον "τύπο των ατόμων".