Von Neumannova–Bernaysova–Gödelova teorie množin: Porovnání verzí

m
typografické úpravy narozdíl > na rozdíl apod.
m (typografické úpravy narozdíl > na rozdíl apod.)
* axiom nahrazení: <math>(\forall F)((\forall y,e_1,e_2)((<y,e_1> \in F \and <y,e_2>\in F) \Rightarrow e_1=e_2) \Rightarrow</math> <math>\Rightarrow (\forall x)(\exists z)(\forall e)(e\in z \Leftrightarrow (\exists y)(y \in x \and <y,e>\in F)))</math>
 
Nutno dodat, že schéma existence tříd je možné nahradit konečně mnoha jednotlivými [[axiom]]y. V důsledku toho je '''NBG''' konečně axiomatizovatelná (narozdílna rozdíl od '''[[ZF]]''').
 
== Související články ==
74 638

editací