ペアノの公理
The Peano axioms define the arithmetical properties of "natural numbers", usually represented as a set N or formula_1 The non-logical symbols for the axioms consist of a constant symbol 0 and a unary function symbol "S".