Set Theory/Zermelo-Fraenkel Axiomatic Set Theory
- Extensionality, two sets with the same elements are equal.
- Separation, subsets exist
where p is any proposition
- The empty set exists
- Union, the union of all members of a set is a set.
- Power sets exist
we denote this set y by P(x)
- Infinity, an infinite set exists
- Foundation, no set is a member of itself
Last modified on 24 January 2011, at 08:35