Welcome guest
You're not logged in.
303 users online, thereof 0 logged in

Usually, we denote sets by capital letters $X,Y,\ldots$, while writing small letters $x,y,\ldots$ for their elements. In the Zermelo-Fraenkel set theory, sets can be themselves elements of other sets. Thus, there is no reason to introduce a different notation for sets and their elements and many sources in literature do without a distinctive notation. Nevertheless, we will keep sticking to this notation, just to make it clearer which sets are meant to be the elements and which sets are meant to contain these elements. When you read small letters $x,y,\ldots$ below, please keep in mind that they denote sets again.

Axiom: Zermelo-Fraenkel Axioms

A set is a mathematical object fulfilling the following axioms:

  • Axiom of Existence – There is a universal set.
  • Axiom of Extensionality – If each element of the set \(X\) is also an element of the set \(Y\) and vice versa, then both are the same. In other words, a set is determined by its elements.
  • Axiom of Empty Set – There is an (improper) set, which does not contain any elements.
  • Axiom of Separation – If \(p(z)\) is a definite property, then for all sets \(X\) there is a subset \(Y\) consisting of those elements \(x\), for which \(p(x)\) is satisfied.
  • Axiom of Pairing – For any sets \(X,Y\) there exists a set containing a collection of the two sets as its elements, i.e. the set \(\{X,Y\}.\)
  • Axiom of Union – For each set \(X\) there is a set containing all elements of the elements of $X$.
  • Axiom of Power Set – For each set \(X\) there exists a set containing all subsets of $X.$
  • Axiom of Foundation – Every non-empty set X contains an element that is disjoint from $X.$
  • Axiom of Infinity – There exists a set \(X\) containing the empty set and also with every element $z$ also the element $z\cup \{z\}.$
  • Axiom of Replacement – If we replace the elements of a set \(X\) by elements from another domain, then the resulting object is also a set.
  • Axiom of Choice – For every set $X$ of disjoint and non-empty sets there is a set $Y$ containing exactly one element from each of these sets.

We will now explain the contents of each axiom separately and discuss how they improve the consistency of the set theory in comparison to the naive set definition.

| | | | | created: 2015-10-11 15:41:40 | modified: 2018-03-22 23:45:58 | by: bookofproofs | references: [656]

1.Axiom: Axiom of Existence

2.Axiom: Axiom of Extensionality

3.Axiom: Axiom of Empty Set

4.Axiom: Axiom of Separation (Restricted Principle of Comprehension)

5.Axiom: Axiom of Pairing

6.Axiom: Axiom of Union

7.Axiom: Axiom of Power Set

8.Axiom: Axiom of Foundation

9.Axiom: Axiom of Infinity

10.Axiom: Axiom of Replacement

11.Axiom: Axiom of Choice

This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:


Bibliography (further reading)

[656] Hoffmann, Dirk W.: “Grenzen der Mathematik – Eine Reise durch die Kerngebiete der mathematischen Logik”, Spektrum Akademischer Verlag, 2011

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.