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)
“An Englishman’s never so natural as when he’s holding his tongue.”
—Henry James (1843–1916)
“I had but three chairs in my house; one for solitude, two for friendship; three for society. When visitors came in larger and unexpected numbers there was but the third chair for them all, but they generally economized the room by standing up.”
—Henry David Thoreau (1817–1862)
“My belief is that science is to wreck us, and that we are like monkeys monkeying with a loaded shell; we don’t in the least know or care where our practically infinite energies come from or will bring us to.”
—Henry Brooks Adams (1838–1918)
“To Time it never seems that he is brave
To set himself against the peaks of snow
To lay them level with the running wave,
Nor is he overjoyed when they lie low,
But only grave, contemplative and grave.”
—Robert Frost (1874–1963)