ZFC

ZFC je zkratka z matematického oboru teorie množin.

Význam zkratky

Zkratkou ZFC je označována axiomatická soustava teorie množin, kterou tvoří axiomy Zermelovy-Fraenkelovy teorie množin (zkratka ZF) a axiom výběru (zkratka AC - z anglického axiom of choice).

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ů.

Postavení axiomu výběru

Axiom výběru je uváděn zvlášť z toho důvodu, že není v rámci teorie množin přijímán bez určitých „filosofických“ výhrad - je poukazováno na jeho odlišný (nekonstrukční) charakter oproti ostatním axiomům. Jeho důsledky v ostatních oblastech matematiky jsou ale natolik závažné, že je obvykle spíše opatrně přijímán, než odmítán.

Axiom výběru je nezávislý na axiomech ZF - to znamená, že z axiomů ZF nelze dokázat ani axiom výběru, ani jeho negaci.

Odkazy

Související články

Teorie množin * Zermelova-Fraenkelova teorie množin (ZF) * Von Neumannova-Bernaysova-Gödelova teorie množin (NBG) * Axiom výběru (AC)

*