Independence
The axiom of infinity cannot be derived from the rest of the axioms of ZFC, if these other axioms are consistent. Nor can it be refuted, if all of ZFC is consistent.
Indeed, using the Von Neumann universe, we can make a model of the axioms where the axiom of infinity is replaced by its negation. It is, the class of hereditarily finite sets, with the inherited element relation.
The cardinality of the set of natural numbers, aleph null, has many of the properties of a large cardinal. Thus the axiom of infinity is sometimes regarded as the first large cardinal axiom, and conversely large cardinal axioms are sometimes called stronger axioms of infinity.
Read more about this topic: Axiom Of Infinity
Famous quotes containing the word independence:
“Children are as destined biologically to break away as we are, emotionally, to hold on and protect. But thinking independently comes of acting independently. It begins with a two-year-old doggedly pulling on flannel pajamas during a July heat wave and with parents accepting that the impulse is a good one. When we let go of these small tasks without anger or sorrow but with pleasure and pride we give each act of independence our blessing.”
—Cathy Rindner Tempelsman (20th century)
“The independence of all political and other bother is a happiness.”
—Rutherford Birchard Hayes (1822–1893)
“There is no dignity quite so impressive, and no independence quite so important, as living within your means.”
—Calvin Coolidge (1872–1933)