von Neumann-Bernays-Gödel set theory
Let be a formula that quantifies only over sets, contains no free variables other than , and may contain relations, special classes, and operations defined by formulas that quantify only over sets. Then for all there exists a unique class of
such that: The class is denoted by
Szudzik, Matthew
teoria axiomàtica de conjunts
Axiomatisierung der Mengenlehre
If is a set and is a subclass of then is a set.
Theorem
such that
-tuples
공리적 집합론
VonNeumannBernaysGodelSetTheory
axiomatic set theory
vonNeumann-Bernays-GoedelSetTheory
Class existence theorem
Let be a formula that quantifies only over sets and contains no free variables other than . Then for all , there exists a unique class of
Tuple lemma
von Neumann-Bernays-Gödel Set Theory
冯诺伊曼-博内斯-哥德尔集合论
폰 노이만-베르나이스-괴델 집합론
Teoria dos conjuntos de Von Neumann-Bernays-Gödel
Teoria degli insiemi di Von Neumann-Bernays-Gödel
Neumann-Bernays-Gödel-Mengenlehre
Teoría de conjuntos de Von Neumann-Bernays-Gödel
Théorie des ensembles de von Neumann-Bernays-Gödel
Von Neumann–Bernays–Gödel set theory
Von Neumannova–Bernaysova–Gödelova teorie množin
Система аксиом фон Неймана — Бернайса — Гёделя
Von Neumann-Bernays-Gödel-verzamelingenleer
Теорія множин фон Неймана — Бернайса — Геделя