Kalimat yang pasti benar

Baiklah. Sekarang bagaimana dengan kalimat berikut ini? Apakah Bomi benar?

Seperti sebelumnya, kita dapat memeriksa kebenaran kalimat Bomi ini dengan mengandaikan dua macam kondisi, kemudian melihat konsekuensinya.

Pertama, seandainya Bomi benar.

Tidak ada masalah dengan ini. Anggapan bahwa Bomi benar pasti akan konsisten dengan kalimat yang ia katakan.

Kedua, seandainya Bomi salah.

Karena Bomi salah, berarti kalimat itu tidak benar.

Pengandaian ini akan menimbulkan kontradiksi seperti pada kasus sebelumnya. Karena itu satu-satunya pengandaian yang mungkin adalah bahwa Bomi benar.

Namun ada yang aneh di sini. Mengapa Bomi benar? Dari mana kita tahu ia benar? Bagaimana kita dapat membuktikan bahwa ia benar? Satu-satunya yang dapat kita lakukan adalah mengandaikan bahwa ia benar.

Berbeda dengan kalimat, “Saya sedang menyembunyikan berlian di saku saya,” dan \sqrt{2} adalah bilangan irasional, yang dapat dibuktikan berdasarkan pengetahuan lainnya, kalimat, “Sekarang saya sedang mengatakan kalimat yang benar,” hanya dapat kita akui sebagai benar tanpa dapat membuktikannya berdasarkan pengetahuan apa pun. Ini terjadi karena kalimat Bomi hanya mengacu pada kalimat itu sendiri. Ini disebut sebagai self-referential.

Kata kalimat yang dikatakan Bomi mengacu pada, “Sekarang saya sedang mengatakan kalimat yang benar.”

Berikutnya: Apakah matematika mengandung kalimat yang self-referential?