Set theory axioms

This page is supposed to provide some discussion for the axioms (for example "there exists a set with no elements" doesn't really deserve its own page)

List of axioms

The number column describes the order of introduction in the motivation for set theory axioms page, note that "R" denotes a result. Only "major" results are shown, they are covered in the motivation for set theory page.

Number	Axiom	Description
1	Existence	There exists a set with no elements
2	Extensionality (Equality)	If every element of [ilmath]X[/ilmath] is also an element of [ilmath]Y[/ilmath] and every element of [ilmath]Y[/ilmath] is also an element of [ilmath]X[/ilmath] then
R		The empty set is unique can now be proved, and thus denoted [math]\emptyset[/math]