Apakah matematika mengandung kalimat yang self-referential?
Sebelumnya kita telah melihat bahwa ahli matematika cukup optimis bahwa
setiap pernyataan matematika akan dapat dibuktikan suatu hari nanti. Ini
tidak dapat terjadi seandainya dalam Matematika terdapat pernyataan,
Kalimat ini benar,
yang adalah self-referential. Syukurlah kalimat
self-referential semacam ini hanya dapat muncul dalam bahasa
sehari-hari. Atau jangan-jangan ada kalimat semacam ini dalam
matematika?
Berikutnya: Ternyata ada