information:extraction
Example: The Peano axiomatization of natural numbers

The mathematical system of natural numbers 0, 1, 2, 3, 4,... is based on an axiomatic system first devised by the mathematician Giuseppe Peano in 1889. 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: