L’arithmétique sans variables apparentes

1.1. Nous considérerons, dans ce qui suit, des théories qui porteront sur un seul type d'individus appelés nombres; parmi ceux-ci, nous aurons une constante fondamentale que nous représenterons par 0. Nous aurons en outre une fonction descriptive élémentaire à un argument que nous désignerons (l'argument étant a) par a--1, et que nous énoncerons: ,a plus un”; nous aurons comme seule fonction propositionnelle élément la fonction à deux arguments: a—b, que nous énoncerons; ,a égale b”.

Nous poserons: !)

ab. =.®.a=b Df.

1.11. Nous appellerons désormais ,chiffre” tout groupe de signes tels que: 0, 01, 0 + 1-1, etc, que nous pouvons définir en disant que 0 est un chiffre; et que, si a représente une figure qu’on sait être un chiffre, il en est de même de af 1.

1) Pour cette notation, voir Ch. 1, 1.1.