Ada keyakinan lama dalam dunia modern bahwa matematika adalah wilayah kepastian. Di dalamnya, segala sesuatu tampak jelas: definisi rapi, langkah logis teratur, dan kesimpulan yang tidak terbantahkan. Matematika sering dibayangkan sebagai bahasa paling bersih dari keraguan—tempat di mana kebenaran dapat ditegakkan tanpa ambiguitas.
Namun pada awal abad ke-20, keyakinan itu diguncang oleh seorang matematikawan bernama Kurt Gödel. Melalui apa yang dikenal sebagai incompleteness theorems, Gödel menunjukkan bahwa bahkan dalam sistem matematika yang paling ketat sekalipun, terdapat batas yang tidak bisa ditembus. Ada kebenaran yang tidak dapat dibuktikan dari dalam sistem itu sendiri.
Gagasan ini terasa sederhana ketika diucapkan, tetapi implikasinya sangat dalam. Ia tidak hanya mengubah cara orang memandang matematika, tetapi juga memunculkan pertanyaan yang lebih luas tentang pengetahuan, kepastian, dan batas akal manusia.
Secara ringkas, Gödel menunjukkan bahwa dalam setiap sistem logika yang cukup kompleks, akan selalu ada pernyataan yang benar tetapi tidak dapat dibuktikan menggunakan aturan sistem tersebut. Dengan kata lain, tidak ada sistem yang sepenuhnya lengkap dan sepenuhnya konsisten sekaligus.
Ini berarti bahwa bahkan dalam wilayah yang dianggap paling rasional, terdapat batas yang tidak bisa diatasi hanya dengan logika internal. Untuk mengetahui kebenaran tertentu, seseorang harus “keluar” dari sistem tersebut—melihatnya dari perspektif yang lebih luas.
Di sini, matematika tidak lagi tampak sebagai bangunan yang sepenuhnya tertutup dan mandiri, tetapi sebagai sesuatu yang memiliki keterbatasan struktural.
Temuan Gödel menggeser cara kita memahami kepastian. Jika matematika saja memiliki batas, maka bagaimana dengan bidang lain yang lebih kompleks—seperti kehidupan manusia, etika, atau bahkan pertanyaan tentang keberadaan Tuhan?
Selama ini, sebagian orang berusaha memahami Tuhan melalui pembuktian rasional yang ketat, seolah-olah keberadaan Tuhan dapat dipastikan dengan cara yang sama seperti teorema matematika. Di sisi lain, ada juga yang menolak gagasan Tuhan karena tidak dapat dibuktikan secara empiris atau logis dalam kerangka tertentu.
Namun jika kita mempertimbangkan apa yang ditunjukkan oleh Gödel, mungkin pertanyaannya perlu digeser. Bukan lagi “apakah Tuhan bisa dibuktikan dalam sistem tertentu,” tetapi “apakah semua kebenaran memang harus dapat dibuktikan dalam satu sistem saja?”
Menariknya, Gödel sendiri memiliki minat pada filsafat dan teologi. Ia bahkan merumuskan apa yang dikenal sebagai ontological proof versi formal—usaha untuk menunjukkan keberadaan Tuhan melalui logika. Terlepas dari perdebatan tentang validitasnya, hal ini menunjukkan bahwa baginya, pertanyaan tentang Tuhan tidak berada di luar wilayah rasionalitas, tetapi juga tidak sepenuhnya bisa diselesaikan oleh rasionalitas yang sempit.
Di titik ini, muncul satu kemungkinan reflektif: bahwa keterbatasan sistem bukan berarti ketiadaan kebenaran, tetapi justru membuka ruang bagi bentuk pemahaman yang melampaui sistem itu.
Dalam Al-Qur’an, terdapat pengakuan yang jelas tentang keterbatasan pengetahuan manusia:
“Dan mereka tidak mengetahui sesuatu pun dari ilmu-Nya melainkan apa yang Dia kehendaki.” (QS. Al-Baqarah: 255)
Ayat ini tidak menolak penggunaan akal, tetapi menempatkannya dalam konteks yang lebih luas. Pengetahuan manusia diakui sebagai sesuatu yang terbatas, sementara realitas tidak sepenuhnya dapat dijangkau oleh kemampuan tersebut.
Jika dibaca bersama dengan gagasan Gödel, muncul resonansi yang menarik. Bahwa ada hal-hal yang benar, tetapi tidak sepenuhnya dapat dibuktikan dari dalam kerangka yang kita miliki. Bahwa ada batas di mana logika perlu diiringi oleh kesadaran akan keterbatasannya sendiri.
Namun penting untuk berhati-hati agar tidak menarik kesimpulan yang terlalu cepat. Teorema Gödel tidak secara langsung membuktikan keberadaan Tuhan, dan Al-Qur’an tidak berbicara dalam bahasa formal matematika. Keduanya bergerak dalam wilayah yang berbeda.
Yang mungkin bisa diambil adalah sikap reflektif: bahwa pencarian kebenaran tidak selalu berakhir pada kepastian yang lengkap. Ada ruang di mana manusia harus menerima bahwa tidak semua hal bisa diselesaikan dengan satu pendekatan saja.
Dalam kehidupan sehari-hari, hal ini terasa dekat. Banyak keputusan yang tidak bisa sepenuhnya dihitung. Banyak pengalaman yang tidak bisa sepenuhnya dijelaskan. Banyak keyakinan yang tidak lahir hanya dari deduksi logis, tetapi juga dari pengalaman, refleksi, dan kepercayaan.
Jika demikian, maka pertanyaan tentang Tuhan mungkin tidak tepat ditempatkan semata-mata dalam kerangka pembuktian formal. Ia lebih dekat dengan kesadaran tentang batas—batas pengetahuan, batas kontrol, dan batas pemahaman manusia terhadap realitas yang lebih luas.
Dalam batas itu, muncul ruang untuk iman. Bukan sebagai pengganti akal, tetapi sebagai pengakuan bahwa akal tidak bekerja sendirian.
Essay ini tidak berusaha menyimpulkan hubungan antara matematika dan teologi secara final. Ia lebih merupakan upaya untuk melihat bahwa bahkan dalam bidang yang paling rasional sekalipun, terdapat batas yang tidak bisa dihapus.
Gödel menunjukkan bahwa sistem tidak pernah sepenuhnya lengkap. Al-Qur’an mengingatkan bahwa pengetahuan manusia tidak pernah sepenuhnya menyeluruh. Dan manusia, berada di antara keduanya, terus mencoba memahami dunia dengan alat yang ia miliki—sambil menyadari bahwa tidak semua hal dapat sepenuhnya dipastikan.
Mungkin, di situlah letak keseimbangan itu: bahwa pencarian kebenaran membutuhkan akal, tetapi juga membutuhkan kesadaran akan batas akal itu sendiri.
