Verze z 22. 9. 2014, 18:01 editovat Galileo9 (diskuse \| příspěvky) 2 editace m →‎Externí odkazy ← Přejít na předchozí porovnání		Verze z 6. 12. 2016, 00:47 editovat zrušit editaci 78.45.1.80 (diskuse) →‎Axiomatická teorie množin: chyba v souvětí ... nerozhodnutelná tvrzení. značka: editace z Vizuálního editoru Přejít na další porovnání →
Řádek 47: [[Von Neumannova-Bernaysova-Gödelova\|Von Neumannova-Bernaysova-Gödelova teorie množin]] a [[Kelleyova-Morseova teorie množin]]. 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á~~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}} === Důvod vzniku ===

Teorie množin: Porovnání verzí