Axiom:Axiom of Infinity/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Axiom of Infinity

Mathematicians had unsuccessfully attempted to prove the existence of an infinite set using existing axioms.

Ernst Zermelo determined in $1908$ that it was necessary to assume the existence of such a set by creating an axiom specifically for that task.

Hence his introduction of the Axiom of Infinity.


Sources