| | Peano axioms -- Facts, Info, and Encyclopedia article (Site not responding. Last check: 2007-10-21) |
 | | This theory constitutes a fundamental formalism for (The branch of pure mathematics dealing with the theory of numerical calculations) arithmetic, and the Peano axioms form a basis for the formalisation of stronger theories, such as second-order arithmetic. |
 | | Using the Peano axioms, one can construct many of the most important (Any notation for the representation of numbers) number systems and structures of modern mathematics. |
 | | The Peano axioms may be interpreted in the general context of (Click link for more info and facts about category theory) category theory. |
| www.absoluteastronomy.com /encyclopedia/p/pe/peano_axioms.htm (2109 words) |