III. a N r, a^ 3 [- a N ^ y ' (seq î/ = x

i< 11 y a (au moins) un uombre qui n'est le suivant d'aucun nombre. »

Pour simplifier l'énoncé du 4'= postulat, on pose la définition suivante :

Nj =; j: s ['j N -N )/ î {seq ;/ = ï)] Df

(1 On appellera N, la classe des nombres qui sont les suivants (te quelque nombre. »

Moyennant cette définition, la formule du 3" postulat se simplifie, et se réduit à :

Cela posé, on peut formuler le 4° postulat comme suit ;