noun (used with a plural verb) Mathematics. a collection of axioms concerning the properties of the set of all positive integers, including the principle of mathematical induction.