III. aNna?3[-aN/^î/3 (seq y = ar
« 11 y a (au moins) un nombre qui n'est le suivant d'aucun nombre. »
Pour simplifier Ténoncé du 4« postulat, on pose la définition
suivante :
Nj = x3[aN^î/3 (seq y = a?)] W
« On appellera Nj la classe des nombres qui sont les suivants de quelque nombre. »
Moyennant cette définition, la formule du 3© postulat se simplifie, et se réduit à :
