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.