Hiy=xha.z=y#b. ).z=x a tb

1.36. H:y=x+a.z—=x tb. ).z=y+(b— a) si b est plus grand ou égal à a. (Cela résulte des axiomes Pa? 73):

Tous ces résultats seront utilisés dans la recherche de la forme canonique d’une proposition.

1.37. Remarquons enfin qu’on peut toujours trouver un chiffre différent d’un certain nombre de chiffres donnés. (Il suffit, par exemple, d'ajouter 1 au plus grand de ces chiffres).

Toute l’étude qui va suivre va consister, au fond, à étudier les propositions vraies, à partir des propositions obtenues en remplaçant leurs variables par des chiffres déterminés.