Metadata
Author: WikiMatrix
Data
English[en]
He chose the axioms, in the language of a single unary function symbol S (short for "successor"), for the set of natural numbers to be: There is a natural number 0.
French[fr]
Il a choisi les axiomes, dans le langage d'un seul symbole de fonction unaire S (abréviation de « successeur »), qui sont, pour l'ensemble des entiers naturels : Il existe un entier naturel 0.