Citation Hunt

Následující úryvek článku Wikipedie není podložen věrohodným zdrojem. Zkusíte ho dohledat?

Stisknutím tlačítka Chápu! můžete přejít na Wikipedii a úryvek opravit, tlačítkem Další! zobrazíte jiný úryvek. Ať se daří!

V článku Teorie množin:

"

Nejpoužívanější axiomatická teorie množin je jednak Zermelova-Fraenkelova teorie množin (značení ZF) a dále ZF s přidaným axiomem výběru (ta se značí ZF+AC nebo ZFC). ZFC je všeobecně uznávána jako teorie, která přesně popisuje platné matematické pravdy, tj. matematická věta je pokládána za pravdivou, právě když je dokazatelná v ZFC (dokazatelnost ovšem nelze snadno ověřit, neboť v každém okamžiku existuje mnoho pravdivých hypotéz, které ještě nebyly dokázány nebo ani vysloveny).[zdroj?] Dalšími axiomatickými systémy jsou Von Neumannova-Bernaysova-Gödelova teorie množin a Kelleyova-Morseova teorie množin.