Welcome guest
You're not logged in.
206 users online, thereof 0 logged in

Natural Numbers

The natural numbers \(0,~1,~2,~3,\ldots\), otherwise known as the non-negative integers1, 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.Order

2.Proposition: Algebraic Structure Of Natural Numbers Together With Multiplication

3.Axiom: Peano Axioms (Peano)

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

5.Proposition: Algebraic Structure Of Natural Numbers Together With Addition

6.Proposition: Distributivity Law For Natural Numbers

7.Proposition: Right-Distributivity Law For Natural Numbers


This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

(none)
FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.