Teorie množin: Porovnání verzí
Smazaný obsah Přidaný obsah
→Axiomatická teorie množin: chyba v souvětí ... nerozhodnutelná tvrzení. značka: editace z Vizuálního editoru |
m Přidání šablony Commonscat dle ŽOPP z 28. 7. 2016; kosmetické úpravy |
||
Řádek 44:
Hlavní význam takových teorií je v tom, že staví na velmi solidní základ pojem "dokazatelné matematické tvrzení" a tedy poskytují užitečné vodítko při ověřování, zda nějaký matematický důkaz je korektní.{{Doplňte zdroj}}
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
[[Von Neumannova-Bernaysova-Gödelova|Von Neumannova-Bernaysova-Gödelova teorie množin]] a [[Kelleyova-Morseova teorie množin]].
Řádek 73:
=== Externí odkazy ===
* {{Commonscat}}
* {{en}} [http://mathworld.wolfram.com/SetTheory.html Teorie množin na mathworld]
* (anglicky) [http://www.settheory.net/ Teorie množin na settheory]
| |||