Teorema ketaklengkapan Gödel

Teorema ketidaklengkapan Gödel yang kedua pertama kali muncul sebagai "Teorema XI" dalam makalah Gödel pada tahun 1931 berjudul "".""