Teorema ketaklengkapan Gödel

Teorema ini ditulis dalam matematika formal yang sangat teknis. Dapat dinyatakan secara lebih sederhana dari terjemahan bahasa Inggris sebagai: