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: 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)
“It is natural to indulge in the illusions of hope. We are apt to shut our eyes to that siren until she “allures” us to our death.”
—Gertrude Stein (1874–1946)
“Think of the earth as a living organism that is being attacked by billions of bacteria whose numbers double every forty years. Either the host dies, or the virus dies, or both die.”
—Gore Vidal (b. 1925)
“In nature’s infinite book of secrecy
A little I can read.”
—William Shakespeare (1564–1616)
“The host, the housekeeper, it is
who fails you. He had forgotten
to make room for you at the hearth
or set a place for you at the table
or leave the doors unlocked for you.”
—Denise Levertov (b. 1923)