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)
“Surely knowledge of the natural world, knowledge of the human condition, knowledge of the nature and dynamics of society, knowledge of the past so that one may use it in experiencing the present and aspiring to the future—all of these, it would seem reasonable to suppose, are essential to an educated man. To these must be added another—knowledge of the products of our artistic heritage that mark the history of our esthetic wonder and delight.”
—Jerome S. Bruner (20th century)
“I’m not even thinking straight any more. Numbers buzz in my head like wasps.”
—Kurt Neumann (1906–1958)
“Politics are for foreigners with their endless wrongs and paltry rights. Politics are a lousy way to get things done. Politics are, like God’s infinite mercy, a last resort.”
—P.J. (Patrick Jake)
“From too much love of living,
From hope and fear set free,
We thank with brief thanksgiving
Whatever gods may be
That no life lives for ever;
That dead men rise up never;
That even the weariest river
Winds somewhere safe to sea.”
—A.C. (Algernon Charles)