Peano axioms: Difference between revisions
Jump to navigation
Jump to search
imported>Johan Förberg (Wrote page) |
imported>Johan Förberg (Subpages) |
||
Line 1: | Line 1: | ||
{{subpages}} | |||
The '''Peano axioms''' are a set of formal axioms describing the [[natural numbers]] (0, 1, 2, 3 ...). Together, they describe some of the most important properties of the natural numbers: their infinitude, zero as the smallest natural number and the rule of [[induction]]. | The '''Peano axioms''' are a set of formal axioms describing the [[natural numbers]] (0, 1, 2, 3 ...). Together, they describe some of the most important properties of the natural numbers: their infinitude, zero as the smallest natural number and the rule of [[induction]]. | ||
== The axioms == | == The axioms == |
Revision as of 17:26, 31 October 2010
The Peano axioms are a set of formal axioms describing the natural numbers (0, 1, 2, 3 ...). Together, they describe some of the most important properties of the natural numbers: their infinitude, zero as the smallest natural number and the rule of induction.