Teorema Ketidaklengkapan Gödel Yang Pertama

Unduh sebagai docx, pdf, atau txt
Unduh sebagai docx, pdf, atau txt
Anda di halaman 1dari 1

Teorema ketidaklengkapan Gödel yang pertama pertama kali muncul sebagai "Teorema VI"

dalam makalah Gödel pada tahun 1931 berjudul "On Formally Undecidable Propositions in Principia
Mathematica and Related Systems I."

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

Setiap teori yang dihasilkan secara efektif yang mampu menyatakan aritmetika elementer
tidak dapat sama-sama konsisten dan lengkap atau komplet. Khususnya, untuk
setiap teori formal yang secara efektif dihasilkan dan yang konsisten, yang membuktikan
kebenaran aritmetika dasar tertentu, ada suatu pernyataan aritmetika yang benar,[1] tetapi
tidak dapat dibuktikan dalam teori ini (Kleene 1967, p. 250)

Teorema ketidaklengkapan Gödel yang kedua pertama kali muncul sebagai "Teorema XI" dalam
makalah Gödel pada tahun 1931 berjudul "On Formally Undecidable Propositions in Principia
Mathematica and Related Systems I."

Sebagaimana dengan teorema ketidaklengkapan pertama, Gödel menulis teorema ini dalam
matematika formal yang sangat teknis. Dapat dinyatakan secara lebih sederhana dari terjemahan
bahasa Inggris sebagai:

Untuk setiap teori T yang dihasilkan formal secara efektif memuat kebenaran aritmetika
dasar dan juga kebenaran tertentuk mengenai provabilitas formal, jika T memuat suatu
pernyataan mengenai konsistensinya sendiri,maka T inkonsisten.

Ini menguatkan teorema ketidaklengkapan pertama, karena pernyataan yang dikonstruksi dalam
teorema ketidaklengkapan pertama tidak secara langsung menyatakan konsitensi teori itu. Bukti
dari teorema ketidaklengkapan kedua diperoleh dengan memformalisasi bukti dari teorema
ketidaklengkapan pertama dari dalam teori itu sendiri

Anda mungkin juga menyukai