Teorie množin: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Naivní teorie množin: drobne upravy, Doplnit zdroj |
m →Axiomatická teorie množin: +zdroj |
||
Řádek 46:
[[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á{{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.{{Chybí zdroj}}
=== Důvod vzniku ===
| |||