Il est évident que nous avons besoin de pouvoir représenter les nombres
non définis, c'est-à-dire les variables. Pour cela, nous utiliserons les
lettres a, b, c, d, et e. Mais cinq lettres ne suffiront pas; il nous en
faudra un nombre infini, tout comme pour les atomes du calcul
propositionnel.
Tanımlanmamış sayıları, yani değişkenleri temsil edebilmemiz gerektiği açıktır. Bunun için a, b, c, d ve e harflerini kullanacağız. Ancak beş harf yeterli olmayacak; önermeler mantığının atomlarında olduğu gibi sonsuz sayıda harfe ihtiyacımız olacak.