Talk:Zermelo-Fraenkel Axioms
From AoPSWiki
| AoPSWiki Article of the Day | ||
| | ||
|---|---|---|
I believe the axiom of infinity is incorrect; shouldn't it be that for all 
, 
as well?
Actually, the two forms are equivalent. There are in fact infinitely many possible different axioms of infinity, all of which are equivalent. The weakest and least specific of these infinitely many forms of the axiom is this:
- There exists a set
and a non-surjective injection 
.
I intend to write an article about this in a few days. Also, please sign your name when you write on talk pages using four tildes (~~~~). —Boy Soprano II 15:12, 16 December 2007 (EST)
