Teorema ketaklengkapan Gödel

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