Matematika Membuktikan Tuhan Itu Ada
Tulisan dari Slamet Supriyadi tidak mewakili pandangan dari redaksi kumparan
PerbesarKita diajarkan memisahkan "iman" dan "logika". Seolah keduanya dua kutub yang bermusuhan. Kita diajari Tuhan hanya bisa diraih lewat doktrin dan ketundukan, sedangkan matematika mengusai angka dan rasionalitas.
Namun, bagaimana jika asumsi ini keliru? Bagaimana jika eksistensi Sang Pencipta bukan sekadar urusan keimanan, melainkan dapat dibuktikan oleh alat paling tajam yang dimiliki manusia: logika matematika?
Berikut adalah konstruksi argumen matematis yang membuktikan eksistensi entitas Maha Sempurna sebagai keharusan logis.
Fondasi Deduksi: Atribut Positif
Fondasi deduksi dimulai dengan menetapkan aturan mengenai atribut positif.
Aksioma 1 (Ax. 1)
(P(φ) ∧ □ ∀x(φ(x) → ψ(x))) → P(ψ)
Jika suatu atribut φ bernilai positif, dan secara niscaya atribut tersebut mengakibatkan munculnya atribut ψ, maka ψ juga bernilai positif.
Contoh: Jika “Maha Sempurna” adalah atribut positif, dan kesempurnaan mutlak secara niscaya menuntun pada “eksistensi tanpa batas”, maka eksistensi tanpa batas otomatis bernilai positif.
Aksioma 2 (Ax. 2)
P(¬φ) ↔ ¬P(φ)
Negasi dari sebuah atribut bernilai positif jika dan hanya jika atribut aslinya tidak positif.
Contoh: Jika “ada secara mutlak” adalah atribut positif, maka “tidak ada” atau “hanya berupa konsep” secara logis bukanlah atribut positif.
Teorema 1 (Th. 1)
P(φ) → ◇∃x φ(x)
Atribut positif tidak memuat kontradiksi internal. Karena bebas dari kontradiksi, atribut positif mungkin untuk dieksemplifikasi.
Contoh: Konsep “Tuhan yang tidak ada” adalah kontradiksi internal (seperti segitiga bersudut empat). Karena Tuhan harus memiliki semua kesempurnaan, termasuk eksistensi, maka konsep Tuhan bebas dari kontradiksi dan mungkin untuk eksis.
Definisi Entitas Maha Sempurna
Langkah selanjutnya adalah merumuskan definisi entitas yang dicari.
Definisi 1 (Df. 1)
G(x) ↔ ∀φ(P(φ) → φ(x))
Objek X adalah Tuhan (G) jika dan hanya jika X memuat seluruh atribut positif tanpa terkecuali.
Contoh: Jika eksistensi mutlak adalah salah satu dari 1.000 atribut positif, maka Tuhan wajib memiliki atribut eksistensi mutlak tersebut. Tidak mungkin Tuhan memuat 999 atribut positif namun luput dari atribut eksistensi.
Aksioma 3 (Ax. 3)
P(G)
Menggabungkan seluruh kesempurnaan menjadi satu entitas (menjadi Tuhan) adalah atribut yang positif.
Teorema 2 (Th. 2)
◇∃x G(x)
Berdasarkan Teorema 1 dan Definisi 1, lahirlah kesimpulan bahwa konsep ketuhanan adalah atribut positif, sehingga bebas dari kontradiksi internal dan mungkin untuk eksis.
Esensi dan Eksistensi Mutlak
Bagian selanjutnya membedakan antara “ada” dan “wajib ada”.
Definisi 2 (Df. 2)
φ ess x ↔ φ(x) ∧ ∀ψ(ψ(x) → □∀y(φ(y) → ψ(y)))
Atribut φ adalah esensi dari X jika atribut tersebut mengunci seluruh atribut lain yang dimiliki oleh X.
Contoh: Struktur kimia H₂O adalah esensi dari air. Jika H₂O dihilangkan, zat tersebut bukan lagi air. Begitu pula, jika ketuhanan dihilangkan dari Tuhan, maka entitas tersebut bukan lagi Tuhan.
Aksioma 4 (Ax. 4)
P(φ) → □P(φ)
Nilai atribut positif bersifat objektif dan mutlak di seluruh dunia kemungkinan.
Contoh: Kebaikan tidak berubah menjadi kejahatan hanya karena berpindah ke dunia kemungkinan lain. Begitu pula, eksistensi mutlak akan tetap bernilai positif di seluruh alam semesta.
Teorema 3 (Th. 3)
G(x) → G ess x
Jika X adalah Tuhan, maka atribut ketuhanan adalah esensi utamanya.
Contoh: Seorang presiden dapat kehilangan jabatannya karena jabatan bukan esensi. Namun, Tuhan tidak dapat kehilangan ketuhanan-Nya, karena ketuhanan adalah esensi pembentuk keberadaan-Nya. Tuhan tidak bisa “pensiun” dari keberadaan-Nya sendiri.
Definisi 3 (Df. 3)
E(x) ↔ ∀φ(φ ess x → □∃y φ(y))
Objek X memiliki eksistensi mutlak (E) jika esensi dari objek tersebut mengharuskan keberadaannya secara niscaya di seluruh dunia kemungkinan.
Kesimpulan Mutlak
Aksioma 5 (Ax. 5)
P(E)
Eksistensi mutlak adalah atribut yang positif.
Contoh: Sebuah entitas yang eksis secara nyata di dunia fisik dan tidak bisa dihapuskan (mutlak) jelas memiliki nilai kesempurnaan yang jauh lebih tinggi dibandingkan entitas yang hanya ada sebagai gagasan di dalam pikiran.
Teorema 4 (Th. 4)
□∃x G(x)
Berdasarkan Definisi 1, Tuhan memuat seluruh atribut positif. Berdasarkan Aksioma 5, eksistensi mutlak adalah atribut positif. Maka, Tuhan wajib memiliki eksistensi mutlak. Karena Tuhan telah terbukti mungkin ada (Teorema 2) dan memuat esensi eksistensi mutlak (Teorema 3 dan Definisi 3), maka status “mungkin ada” secara logis berubah menjadi “wajib ada” (□) di dunia nyata.
Berdasarkan struktur deduksi ini, jika seluruh aksioma dasar diterima sebagai premis yang valid, maka secara hukum matematika, tidak ada celah logis untuk menolak kesimpulan akhirnya. Keberadaan entitas Maha Sempurna merupakan konsekuensi logis yang tidak terhindarkan dari premis yang diberikan.
Penutup
Pembuktian matematis ini bukan upaya memaksa keyakinan, melainkan monumen intelektual. Melalui rumus-rumus logika yang ketat dan presisi, terbukti bahwa kepercayaan pada Tuhan bersifat Rasional.
Matematika tidak bisa menggantikan peran iman, karena iman adalah lompatan personal untuk merespons kasih sayang Sang Pencipta. Namun, matematika telah memberikan kita pelukan rasional.
Di antara angka 0 dan 1, di antara operator keniscayaan (□) dan kemungkinan (◊), terdapat ruang di mana logika manusia yang paling ketat sekalipun harus mengakui keberadaan Sang Maha Sempurna.
Pada akhirnya, jika logika paling murni di dunia—matematika—saja bisa merumuskan keberadaan-Nya dengan begitu elegan, siapakah kita yang berani menutup pintu nalar terhadap kemungkinan yang paling agung itu?