Teorema ketaklengkapan Gödel

Teorema ketaklengkapan Gödel () adalah dua teorema logika matematika yang menetapkan batasan ("limitation") inheren dari semua kecuali yang paling trivial yang mampu mengerjakan aritmetika. Teorema-teorema ini, dibuktikan oleh Kurt Gödel pada tahun 1931, penting baik dalam logika matematika maupun dalam filsafat matematika. Kedua hasil ini secara luas, tetapi tidak secara universal, ditafsirkan telah menunjukkan bahwa untuk menghitung himpunan lengkap dan konsisten dari bagi semua matematika adalah tidak mungkin, sehingga memberikan jawaban negatif terhadap .