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:
“He had been eight years upon a project for extracting sunbeams out of cucumbers, which were to be put into vials hermetically sealed, and let out to warm the air in raw, inclement summers.”
—Jonathan Swift (1667–1745)
“Art is not tame, and Nature is not wild, in the ordinary sense. A perfect work of man’s art would also be wild or natural in a good sense.”
—Henry David Thoreau (1817–1862)
“Out of the darkness where Philomela sat,
Her fairy numbers issued. What then ailed me?
My ears are called capacious but they failed me,
Her classics registered a little flat!
I rose, and venomously spat.”
—John Crowe Ransom (1888–1974)
“You need an infinite stretch of time ahead of you to start to think, infinite energy to make the smallest decision. The world is getting denser. The immense number of useless projects is bewildering. Too many things have to be put in to balance up an uncertain scale. You can’t disappear anymore. You die in a state of total indecision.”
—Jean Baudrillard (b. 1929)
“The lady—bearer of this—says she has two sons who want to work. Set them at it, if possible. Wanting to work is so rare a merit, that it should be encouraged.”
—Abraham Lincoln (1809–1865)