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:
“Life is a means of extracting fiction.”
—Robert Stone (b. 1937)
“We have become unsure of the rules and unsure of our roles. Parenting, like brain surgery, is now all-consuming, fraught with anxiety, worry, and self-doubt. We have allowed what used to be simple and natural to become bewildering and intimidating.”
—Fred G. Gosman (20th century)
“The principle of majority rule is the mildest form in which the force of numbers can be exercised. It is a pacific substitute for civil war in which the opposing armies are counted and the victory is awarded to the larger before any blood is shed. Except in the sacred tests of democracy and in the incantations of the orators, we hardly take the trouble to pretend that the rule of the majority is not at bottom a rule of force.”
—Walter Lippmann (1889–1974)
“The consciousness in each man is a sliding scale, which identifies him now with the First Cause, and now with the flesh of his body; life above life, in infinite degrees.”
—Ralph Waldo Emerson (1803–1882)
“1st Witch. When shall we three meet again?
In thunder, lightning, or in rain?
2nd Witch. When the hurly-burly’s done,
When the battle’s lost and won.
3rd Witch. That will be ere set of sun.
1st Witch. Where the place?
2nd Witch. Upon the heath.
3rd Witch. There to meet with Macbeth.”
—William Shakespeare (1564–1616)