Wikipedie

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

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap
Chun-mee (diskuse | příspěvky)
749 editací
Řádek 18:
 
== 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>
Citováno z „https://cs.wikipedia.org/wiki/Von_Neumannova–Bernaysova–Gödelova_teorie_množin“