A Wikibookian suggests that this book or chapter be merged into Set Theory/Axioms.Please discuss whether or not this merge should happen on the discussion page. |

## The axiomsEdit

- 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