# Definition:Gödel-Bernays Axioms

It has been suggested that this page or section be merged into Definition:Von Neumann-Bernays-Gödel Axioms.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Mergeto}}` from the code. |

## Definition

The **Gödel-Bernays axioms** are a conservative extension of the Zermelo-Fraenkel axioms with the axiom of choice (ZFC) that allow comprehension of classes.

Although not the standard axioms of set theory, particularly in category theory, they spare us any paradoxes of the Russell's Paradox type.

## Axioms for Sets

The first five axioms are identical to the axioms of the same names from ZFC.

The quantified variables range over the universe of sets.

### The Axiom of Extension

Let $A$ and $B$ be sets.

The **Axiom of Extension** states that:

- $A$ and $B$ are equal

- they contain the same elements.

That is, if and only if:

and:

This can be formulated as follows:

- $\forall x: \paren {x \in A \iff x \in B} \iff A = B$

### The Axiom of Pairing

For any two sets, there exists a set to which only those two sets are elements:

- $\forall a: \forall b: \exists c: \forall z: \paren {z = a \lor z = b \iff z \in c}$

### The Axiom of Unions

For every set of sets $A$, there exists a set $x$ (the **union set**) that contains all and only those elements that belong to at least one of the sets in the $A$:

- $\forall A: \exists x: \forall y: \paren {y \in x \iff \exists z: \paren {z \in A \land y \in z} }$

### The Axiom of Powers

For every set, there exists a set of sets whose elements are all the subsets of the given set.

- $\forall x: \exists y: \paren {\forall z: \paren {z \in y \iff \paren {w \in z \implies w \in x} } }$

### The Axiom of Infinity

There exists a set containing:

That is:

- $\exists x: \paren {\paren {\exists y: y \in x \land \forall z: \neg \paren {z \in y} } \land \forall u: u \in x \implies u^+ \in x}$

## Axioms for Classes

In the remaining axioms, the quantified variables range over classes.

The first two differ from the ZFC axioms with the same names in this way only.

The last two have no analogue among the ZFC axioms.

### The Axiom of Extension

Let $A$ and $B$ be classes.

Then:

- $\forall x: \paren {x \in A \iff x \in B} \iff A = B$

### The Axiom of Foundation

For any non-empty class, there is an element of the class that shares no element with the class.

- $\forall S: \neg \paren {S = z: \forall y: \paren {\neg \paren {y \in z} } } \implies \exists x \in S: \neg \paren {\exists w: w \in S \land w \in x}$

### Class Comprehension

For any formula $\phi$ containing no quantifiers over classes, there is a class $A$ such that:

- $\forall x: \paren {x \in A \iff \map \phi x}$

### The Axiom of Limitation of Size

For any class $\CC$, a set $x$ such that $x = \CC$ exists if and only if there is no bijection between $\CC$ and the universal class.