Counting experiments have been tried on birds more frequently than on any other class of animal, and several species, notably ravens, rooks, and jackdaws, have solved this type of problem. This success may not be entirely by chance, for there is reason to believe that…
…of objects present is called counting. The numbers thus obtained are called the counting numbers or natural numbers (1, 2, 3, …). For an empty set, no object is present, and the count yields the number 0, which, appended to the natural numbers, produces what are known as the whole…
The concept of the atom is an ancient one; the Greek philosopher Democritus (c. 460–c. 370 bce) proposed a form of “atomism” that contained the essential features of the chemical atom later introduced by the British chemist John Dalton
…such as the system of counting by 20s, are clearly innovations, but this system is shared by English (“three score and ten”), French (quatre-vingts “80”), and Danish, in all of which it is also an innovation, as well as Basque, in which it appears to be old.
…theories is the concept of countability. If a certain number of particles is known to be present inside a certain space, that number will be found there later, unless some have escaped (in which case they could have been detected and counted) or turned into other particles (in which case…
The real numbersEuler diagram representing the real numbers. In an Euler diagram, everything inside the circle belongs to a set with some criterion for inclusion, and everything outside does not conform to that criterion. For example, everything inside the smallest circle are the natural numbers {1, 2, 3,…}; everything outside is not a natural number. The next largest circle is the whole numbers, which include the natural numbers plus zero. (However, sometimes the natural numbers are defined as including zero.) The next largest circle is the integers, which include the negative integers {…, −3, −2, −1}. The largest circle is the rational numbers, which include all numbers that are ratios of integers (e.g., −1/12, 3/17, 22/7). Everything inside this circle is a rational number; everything outside are irrational numbers, which are numbers that cannot be represented as the ratio of two integers (e.g., π, e).
natural number
mathematics
Also known as: counting number, nonnegative integer, positive integer, whole number
natural number, any number in the set of positive integers {1, 2, 3…} and sometimes zero. The term natural likely refers to humanity’s innate understanding and use of positive discrete values. Sometimes called “counting numbers,” natural numbers predate recorded history, as it is believed that prehistoric humans had some sense of determining differences in quantities. Whether zero is considered a natural number differs across definitions, and there is no general consensus on its inclusion or exclusion from the set.
Definition
Mathematicians have formulated various definitions for natural numbers. One of the most popular is based on the principles of set theory, and it proposes that every natural number can be defined as its own set. The union ∪ of these individual sets then composes the complete set of natural numbers (ℕ), a process aided by successor functions, which establish the successor of a number as S(x) = x∪{x}. The proof begins by establishing 0 as the empty set, a set with no elements, before moving to define 1, its successor.0 = {}1 = 0∪{0} = {{}} = {0}.
The rest of the set of natural numbers ℕ can be defined through the resulting pattern:2 = 1∪{1} = {1, {1}} = {{}, {{}}} = {0, 1}3 = 2∪{2} = {2, {2}} = {{}, {{}}, {{{}}}} = {0, 1, 2}4 = 3∪{3} = {3, {3}} = {{}, {{}}, {{{}}}, {{{{}}}}} = {0, 1, 2, 3}n = (n − 1)∪{n − 1} = {n − 1, {n − 1}} = {{}, {{}},…} = {0, 1, 2,…, n − 2, n − 1}.
A second popular definition is based on the Peano axioms. Introduced by Italian mathematician Giuseppe Peano in 1889, the method provides the foundation for the infinite set of natural numbers through five axioms:
1. Zero is a natural number.
2. Every natural number has a successor in the natural numbers.
3. Zero is not the successor of any natural number.
4. If the successor of two natural numbers is the same, then the two numbers are the same.
5. If a set contains zero and the successor of every number is in the set, then the set contains the natural numbers.
The fifth axiom, known as the axiom of induction, allows for descriptions of an infinite number of cases without the need for an infinite number of proofs.
History
Natural numbers presumably existed long before recorded history. The earliest representations of counting numbers—records including notches or scratches on sticks, stones, pottery, and other objects—likely came long after humans learned to count. As history evolved and number systems became more sophisticated, specific terminology emerged to describe the set of numbers used for counting. One of the earliest references is from French mathematician Nicolas Chuquet, who described the sequence 1, 2, 3, 4,… as “appellee par les anciens progression naturelle” (“called by the ancients natural progression”) in 1484. English mathematician William Emerson is credited as one of the first to use the phrase natural number in English, in his book The Method of Increments (1763).
In the following centuries mathematicians including Peano, Richard Dedekind, and Gottlob Frege sought to define and examine the properties of natural numbers. Although a seemingly simple concept, definitions vary on whether the set of natural numbers includes zero. Many formal definitions, such as Peano’s updated axioms, include zero in the set of natural numbers. Other definitions leave it out and instead refer to the set as “whole numbers” when zero is included. There is no consensus on whether the digit is considered a natural number; indeed, some advise that its status should be decided on the basis of convenience.
Are you a student?
Get a special academic rate on Britannica Premium.
Natural numbers possess properties that are fundamental for mathematics—notably, for addition and multiplication. Using the successor function S defined above, addition within the set of natural numbers can be defined using n and m as natural numbers:n + S(m) = S(n + m).
Multiplication within the set of natural numbers can be similarly defined:n × S(m) = (n × m) + nn × 0 = 0.
Both addition and multiplication satisfy the commutativen + m = m + nn × m = m × nand associative properties,l + (m + n) = (l + m) + nl × (m × n) = (l × m) × nas well as the distributive propertyl × (m + n) = (l × m) + (l × n),where l, m, and n are natural numbers. Subtraction and division are not considered properties of natural numbers, since performing those operations with natural numbers may result in values outside the set of natural numbers.
The application of natural numbers extends to providing the basis for counting and ordering objects. Cardinal numbers, which are those used to convey the size of a set, may be interpreted as an extension of natural numbers when used to count the number of objects in a finite set. Ordinal numbers may also be considered an extension of natural numbers. Instead of counting objects, a set of well-ordered natural numbers can be used to signify the order of a group of objects.
Our editors will review what you’ve submitted and determine whether to revise the article.
print
Print
Please select which sections you would like to print:
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies.
Please refer to the appropriate style manual or other sources if you have any questions.