Extracting The Natural Numbers From The Infinite Set
The infinite set I is a superset of the natural numbers. To show that the natural numbers themselves constitute a set, the axiom schema of specification can be applied to remove unwanted elements, leaving the set N of all natural numbers. This set is unique by the axiom of extensionality.
To extract the natural numbers, we need a definition of which sets are natural numbers. The natural numbers can be defined in a way which does not assume any axioms except the axiom of extensionality and the axiom of induction—a natural number is either zero or a successor and each of its elements is either zero or a successor of another of its elements. In formal language, the definition says:
Or, even more formally:
Here, denotes the logical constant "false", so is a formula that holds only if n is the empty set.
Read more about this topic: Inductive Set (axiom Of Infinity)
Famous quotes containing the words extracting, natural, numbers, infinite and/or set:
“Watching a woman make Russian pancakes, you might think that she was calling on the spirits or extracting from the batter the philosopher’s stone.”
—Anton Pavlovich Chekhov (1860–1904)
“Every natural fact is a symbol of some spiritual fact. Every appearance in nature corresponds to some state of the mind, and that state of the mind can only be described by presenting that natural appearance as its picture.”
—Ralph Waldo Emerson (1803–1882)
“Old age equalizes—we are aware that what is happening to us has happened to untold numbers from the beginning of time. When we are young we act as if we were the first young people in the world.”
—Eric Hoffer (1902–1983)
“The nonchalance and dolce-far-niente air of nature and society hint at infinite periods in the progress of mankind.”
—Henry David Thoreau (1817–1862)
“I’ll give my jewels for a set of beads,
My gorgeous palace for a hermitage,
...
And my large kingdom for a little grave,
A little, little grave, an obscure grave.”
—William Shakespeare (1564–1616)