Teorie množin: Porovnání verzí

 

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 [[Axiom výběru|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).{{Doplňte zdroj}} Dalšími axiomatickými systémy jsou

 

Aplikace [[Gödelovy věty o neúplnosti|Gödelových vět o neúplnosti]] na axiomatickou teorii množin přináší vhledy na podstatu a filosofii matematiky, neboť z ní vyplývá, že sebelepší axiomatika teorie množin bude vždy obsahovat nerozhodnutelná tvrzení{{Doplňte zdroj}} (množinu všech matematických pravd nelze popsat žádnou soustavou axiomů) a že pokud teorie, kterou chceme používat k popisu všech matematických pravd, je bezesporná, nelze tuto bezespornost dokázat.{{Doplňte zdroj}}