OLEH: JAYA SUPRANA

ASKARA - Judul naskah ini dengan susah payah saya tulis, sebab kalkulator hape saya sudah dari sononya deprogram bahwa 10 + 6 = 16.

Ada pernyataan sederhana yang pernah menggetarkan ruang publik: “Sepuluh plus enam sama dengan tujuhbelas”. Secara aritmetika dasar, 10 + 6 = 16. Tapi ketika kalimat itu diucapkan seorang tokoh panutan, ia berhenti jadi soal penjumlahan. Ia berubah jadi cermin.

Di sinilah metamatematika masuk. Metamatematika bukan menghitung angka, tapi bertanya: apa yang sedang terjadi ketika angka diucapkan, dipahami, ditolak, atau dibela?

Matematika formal tinggal di rumah logika. Di sana 10 + 6 harus 16. Titik. Tidak bisa nego. Itu “kebenaran sintaksis”.

Metamatematika tinggal di rumah makna. Di sana angka bisa jadi simbol, sindiran, kode, atau doa. “Tujuhbelas” bukan sekadar 17. Ia tanggal proklamasi. Ia usia kedewasaan. Ia angka keramat bangsa ini. Ketika 10 + 6 dipaksa jadi 17, yang terjadi bukan kesalahan hitung. Yang terjadi adalah “pergeseran semesta”. Dari rumah logika ke rumah makna. Metamatematikanya: kebenaran tergantung sistem aksioma yang kamu pakai.

Kurt Gödel membuktikan: di dalam sistem formal apa pun, akan selalu ada pernyataan yang “benar tapi tak bisa dibuktikan di dalam sistem itu”.

“10 + 6 = 17” adalah versi warung kopinya. Di dalam sistem aritmetika Peano, ia salah. Tapi di luar sistem itu, ia bisa “benar” sebagai metafora: 10 tahun kerja + 6 tahun pengorbanan = 17 Agustus kemerdekaan.

Metamatematika mengajarkan kerendahan hati: *logika kita terbatas*. Ada kebenaran yang hanya bisa dilihat kalau kita naik satu tingkat, keluar dari sistem, lalu melihat sistem itu dari atas.

Ludwig Wittgenstein bilang, “Batas bahasaku adalah batas duniaku”. Pernyataan itu sedang memperluas batas bahasa. Ia bilang: jangan berhenti di “16”. Tanya, “kenapa harus 16?”. Mungkin 10 + 6 = 17 adalah protes. Protes pada kalkulasi dingin yang melupakan konteks. Protes pada ahli yang benar secara teknis tapi buta secara manusiawi. Metamatematikanya: formalisme tanpa makna jadi kosong. Makna tanpa formalisme jadi liar. Keduanya perlu.

Pelajaran kontemplatif :

1. Cek sistemmu dulu sebelum memvonis orang salah. Kamu pakai kalkulator, dia pakai sejarah. Beda keyboard.

2. Angka bisa berbohong kalau jujur. 16 jujur secara hitung, tapi bisa berbohong secara rasa. 17 bohong secara hitung, tapi bisa jujur secara harapan.

3. Kebenaran bertingkat. Ada benar level SD, ada benar level filsafat. Orang bijak tahu kapan pakai yang mana.

Kita tidak perlu memilih antara 16 atau 17. Matematika butuh 16 supaya jembatan tidak runtuh. Bangsa butuh 17 supaya jiwa tidak runtuh. Maksudnya sederhana: *hidup bukan sekadar menjumlahkan.* Kadang 10 + 6 harus jadi 17, supaya kita ingat bahwa di atas semua rumus, ada cita-cita yang tidak bisa dihitung kalkulator.

Empan Papan. Pakai 16 saat bikin jembatan, neraca, dan kode. Pakai 17 saat bikin harapan, persatuan, dan cita-cita. Jangan tertukar.