Difference between revisions of "Set theory axioms"
From Maths
m |
m |
||
| Line 21: | Line 21: | ||
| | | | ||
| [[Motivation for set theory axioms#The empty set is unique|The empty set is unique]] can now be proved, and thus denoted <math>\emptyset</math> | | [[Motivation for set theory axioms#The empty set is unique|The empty set is unique]] can now be proved, and thus denoted <math>\emptyset</math> | ||
| + | |- | ||
| + | | 3 | ||
| + | | Schema of Comprehension | ||
| + | | For a property {{M|P(x)}} of x, given a set {{M|A}} there is a set {{M|B}} such that {{M|x\in B\iff x\in A\text{ and }p(x)}} | ||
| + | |- | ||
| + | | R | ||
| + | | | ||
| + | | For a set {{M|A}} and a property {{M|P}} the set known to exist by axiom 3 is unique, thus we may write <math>\{x\in A|P(x)\}</math> to denote it unambiguously | ||
| + | |- | ||
| + | | 4 | ||
| + | | Pair | ||
| + | | For any {{M|A}} and {{M|B}} there is a set {{M|C}} such that <math>x\in C\iff x=A\text{ or }x=B</math> | ||
| + | |- | ||
| + | | R | ||
| + | | | ||
| + | | The set known to exist from axiom 4 is unique, we denote it by <math>\{A,B\}</math> or <math>\{A\}</math> if <math>A=B</math> (at this point we "just write" this, we have no concept of cardinality yet) | ||
|} | |} | ||
[[Category:Set Theory]] | [[Category:Set Theory]] | ||
Revision as of 22:04, 4 March 2015
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] | |
| 3 | Schema of Comprehension | For a property [ilmath]P(x)[/ilmath] of x, given a set [ilmath]A[/ilmath] there is a set [ilmath]B[/ilmath] such that [ilmath]x\in B\iff x\in A\text{ and }p(x)[/ilmath] |
| R | For a set [ilmath]A[/ilmath] and a property [ilmath]P[/ilmath] the set known to exist by axiom 3 is unique, thus we may write [math]\{x\in A|P(x)\}[/math] to denote it unambiguously | |
| 4 | Pair | For any [ilmath]A[/ilmath] and [ilmath]B[/ilmath] there is a set [ilmath]C[/ilmath] such that [math]x\in C\iff x=A\text{ or }x=B[/math] |
| R | The set known to exist from axiom 4 is unique, we denote it by [math]\{A,B\}[/math] or [math]\{A\}[/math] if [math]A=B[/math] (at this point we "just write" this, we have no concept of cardinality yet) |
