Salah satu artikel terbaik yang bisa menjelaskan tentang Teori Ketidaklengkapan Godel (Godel’s Incompleteness Theorem) adalah artikel yang ditulis oleh Solomon Feferman. Artikel ini berjudul “The Nature and Significance of Godel’s Incompleteness Theorem“. Teori Ketidaklengkapan Godel berusaha untuk menunjukkan bahwa dalam setiap sistem formal (formal system), terdapat pernyataan yang benar (true), namun pernyataan tersebut tidak dapat…

Sistem formal (formal system) adalah sistem yang dibangun dari bahasa formal (formal language). Bahasa formal terdiri dari alfabet, yaitu sekedar simbol tanpa memiliki arti tertentu. Dari alfabet tersebut kita dapat membuat string (runtutan alfabet). Misalnya, kita memiliki sebuah kumpulan (set) S = {%, &, #}. Contoh string adalah (tanpa tanda petik) “%#”, “%&”, “%%%”, “%%&#”,…