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:
“Life is a means of extracting fiction.”
—Robert Stone (b. 1937)
“English general and singular terms, identity, quantification, and the whole bag of ontological tricks may be correlated with elements of the native language in any of various mutually incompatible ways, each compatible with all possible linguistic data, and none preferable to another save as favored by a rationalization of the native language that is simple and natural to us.”
—Willard Van Orman Quine (b. 1908)
“What culture lacks is the taste for anonymous, innumerable germination. Culture is smitten with counting and measuring; it feels out of place and uncomfortable with the innumerable; its efforts tend, on the contrary, to limit the numbers in all domains; it tries to count on its fingers.”
—Jean Dubuffet (1901–1985)
“His hair has the long jesuschrist look. He is wearing the costume clothes. But most of all, he now has a very tolerant and therefore withering attitude toward all those who are still struggling in the old activist political ways ... while he, with the help of psychedelic chemicals, is exploring the infinite regions of human consciousness.”
—Tom Wolfe (b. 1931)
“What shall we say who have knowledge
Carried to the heart? Shall we take the act
To the grave? Shall we, more hopeful, set up the grave
In the house? The ravenous grave?”
—Allen Tate (1899–1979)