## Natural Numbers

The natural numbers \(0,~1,~2,~3,\ldots\), otherwise known as the *non-negative integers*^{1}, are the numbers familiar even to young children. It is the natural numbers that we use for the very basic mathematical purpose of counting things (see cardinal numbers). We also can use them to order things (see ordinal numbers).

From the formal point of view, natural numbers can be constructed using sets. In particular, we can use the concept of the empty set \(\emptyset\) and call it \(0\), then construct a set containing this empty set and call it \(1\), then construct a set containing the empty set and also the previous set and call it \(2\), etc.:

\[\begin{array}{cclcl}0&:=&\emptyset&=&\emptyset\\1&:=&\left\{0\right\}&=&\left\{\emptyset\right\}\\2&:=&\left\{0,~1\right\}&=&\left\{\emptyset,~\left\{\emptyset\right\}\right\}\\3&:=&\left\{0,~1,~2\right\}&=&\left\{\emptyset,~\left\{\emptyset,~\left\{\emptyset\right\}\right\}\right\}\\\vdots&&\vdots&&\vdots\\\end{array}\]

Another way to define natural numbers is to use a suitable axiomatic system. One of such axiomatic systems are the Peano Axioms.

^{1} Please note: Another common way is to understand the set of natural numbers is as *positive integers*, excluding the number 0. In bookofproofs.org, natural numbers are always including 0, by convention.

| | | | created: 2014-02-20 22:01:04 | modified: 2019-01-20 20:35:54 | by: *bookofproofs*

## 1.**Definition**: Set-theoretic Definitions of Natural Numbers (Ernst Zermelo 1908, John von Neumann 1923)

## 2.**Axiom**: Peano Axioms (Peano)

## 3.**Proposition**: Algebraic Structure Of Natural Numbers Together With Multiplication

## 4.**Proposition**: Algebraic Structure Of Natural Numbers Together With Addition

## 5.**Proposition**: Distributivity Law For Natural Numbers

## 6.Order

© 2018 Powered by BooOfProofs, All rights reserved.