ZFC: Porovnání verzí

Smazaný obsah Přidaný obsah
m typografické úpravy
→‎Význam zkratky: napřímení odkazu
Řádek 2:
 
== Význam zkratky ==
Zkratkou '''ZFC''' je označována [[axiom]]atická soustava [[teorie množin]], kterou tvoří axiomy [[Zermelova-FraenkelovaZermelova–Fraenkelova teorie množin|ZermeloZermelovy-FraeneklovyFraenkelovy teorie množin]] (zkratka [[ZF]]) a [[axiom výběru]] (zkratka AC – z anglického ''axiom of choice'').<br />
Jedná se o v současné době nejvíce rozšířenou soustavu teorie množin, která je používána jako základ většiny ostatních matematických oborů.