peano's axioms

noun (used with a plural verb) Mathematics.

1. a collection of axioms concerning the properties of the set of all positive integers, including the principle of mathematical induction.

pl n

1. a set of axioms that yield the arithmetic of the natural numbers