Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTobyBartels
• CommentTimeJan 16th 2011
• (edited Jan 16th 2011)

Every axiom listed at ZFC now has its own article, except for axiom of separation. These are:

1. axiom of extensionality (already existed);
2. axiom of the null set (now redirects to empty set, where additional material has just been added);
3. axiom of pairing (created recently);
4. axiom of union (created recently);
5. axiom of separation (needs to be written);
6. axiom of replacement (already existed);
7. axiom of power sets (now redirects to power set, where a few remarks have just been added);
8. axiom of infinity (already existed);
9. axiom of choice (already existed);
10. axiom of foundation (already existed).