Gödelove teoreme nepotpunosti su dvije teoreme matematičke logike koje uspostavljaju inherentno ograničenje svih trivialnih aksiomatičnih sistema koji dozvoljavaju aritmetiku. Ove teoreme, koje je dokazao Kurt Gödel 1931. godine, su obje važne u matematičkoj logici i u filozofiji matematike. Ove teoreme su široko prihvaćene, doduše ne i univerzalno, interpretirane kao pokaz da je Hilbertov program pronalaska kompletnog i konzistentog seta aksioma za cijelu matematiku, nemoguć.
Ove teoreme predstavljaju jedan od vrhunaca matematičke i logičke misli dvadesetog vijeka, a Gödel se smatra jednim od najvećih mislilaca čovječanstva.
Također pogledajte Gödelova teorema o potpunosti Minds, Machines and Gödel
Reference
Kategorija:Epistemologija Kategorija:Matematička logika Kategorija:Metateoreme Kategorija:Teoreme u temeljima matematike Kategorija:Teorija dokaza Kategorija:Teorija modela