Gödeli mittetäielikkuse teoreemid

Gödeli mittetäielikkuse teoreemid (saksa Gödelscher Unvollständigkeitssätze, inglise Gödel's incompleteness theorems) ehk Gödeli teoreemid on Kurt Gödeli (1906–1978) kaks teoreemi matemaatilises loogikas, mis demonstreerivad, et iga loogiline süsteem, mis sisaldab formaalset aritmeetikat, on piiratud ehk mittetäielik. Gödel näitas, et igas loogilises süsteemis, mis suudab mahutada formaalset aritmeetikat, leidub tõene lause, mis ei ole antud süsteemis tõestatav ega ümber lükatav, ning et loogilise süsteemi kooskõlalisust ehk vastuoluvabadust ei saa süsteemi enda vahenditega tõestada.

Viited 

Matemaatika
Filosoofia