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)
“Each man too is a tyrant in tendency, because he would impose his idea on others; and their trick is their natural defence. Jesus would absorb the race; but Tom Paine or the coarsest blasphemer helps humanity by resisting this exuberance of power.”
—Ralph Waldo Emerson (1803–1882)
“Old age equalizes—we are aware that what is happening to us has happened to untold numbers from the beginning of time. When we are young we act as if we were the first young people in the world.”
—Eric Hoffer (1902–1983)
“In nature’s infinite book of secrecy
A little I can read.”
—William Shakespeare (1564–1616)
“In public buildings set aside for the care and maintenance of the goods of the middle ages, a staff of civil service art attendants praise all the dead, irrelevant scribblings and scrawlings that, at best, have only historical interest for idiots and layabouts.”
—George Grosz (1893–1959)