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

m (Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap)
(→‎Axiomy: styl)
 
== Axiomy ==
Teorie '''NGB''' má následující [[axiom]]y,. v nichž maláVelká písmena značív množinovénich proměnné a velká písmenaoznačují obecné (třídové) proměnné), (tj.mohou velkátedy písmena zastupují libovolné objekty -zastupovat třídy i množiny, kdežtozatímco malá pouzepísmena zastupují výhradně množiny):.
 
* axiom definice množiny: <math>(\exists x)(x=X) \Leftrightarrow ( \exist Y)(X \in Y)</math>
* axiom existence množiny: <math>(\exist X,Y)(X\in Y)</math>
636

editací