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

→‎Axiomy: Ještě upřesnění s linkem
(→‎Axiomy: styl)
(→‎Axiomy: Ještě upřesnění s linkem)
 
== Axiomy ==
Teorie '''NGB''' má následující [[axiom]]y. Velká písmena v nich označují obecné (třídové) proměnné, mohou tedy zastupovat [[vlastní třída|vlastní třídy]] i množiny, zatímco malá písmena zastupují výhradně množiny.
 
* axiom definice množiny: <math>(\exists x)(x=X) \Leftrightarrow ( \exist Y)(X \in Y)</math>
636

editací