Difference between revisions of "Talk:Zermelo-Fraenkel Axioms"
(aotd) |
|||
| Line 1: | Line 1: | ||
| + | {{AotD tag|December 20th, 2007}} | ||
I believe the axiom of infinity is incorrect; shouldn't it be that for all <math>a \in A</math>, <math>a \cup \{a\} \in A</math> as well? | I believe the axiom of infinity is incorrect; shouldn't it be that for all <math>a \in A</math>, <math>a \cup \{a\} \in A</math> as well? | ||
Latest revision as of 19:50, 21 December 2007
| 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 
.
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)
