# Category:Axioms/Von Neumann-Bernays-Gödel Axioms

This category contains axioms related to Von Neumann-Bernays-Gödel 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 Specification

Let $\map \phi {A_1, A_2, \ldots, A_n, x}$ be a propositional function such that:

$A_1, A_2, \ldots, A_n$ are a finite number of free variables whose domain ranges over all classes
$x$ is a free variable whose domain ranges over all sets

Then the axiom of specification gives that:

$\forall A_1, A_2, \ldots, A_n: \exists B: \forall x: \paren {x \in B \iff \map \phi {A_1, A_2, \ldots, A_n, x} }$

where each of $B$ ranges over arbitrary classes.

## Subcategories

This category has the following 7 subcategories, out of 7 total.

## Pages in category "Axioms/Von Neumann-Bernays-Gödel Axioms"

The following 17 pages are in this category, out of 17 total.