Versi klasiknya: "Kalimat ini tidak benar." Jika benar, maka isi kalimat itu benar — kalimat ini tidak benar — kontradiksi. Jika tidak benar, maka ia berkata benar tentang dirinya — kontradiksi lagi. Tidak ada nilai kebenaran yang bisa ditetapkan.
Dampaknya pada logika modern sangat besar. Alfred Tarski menunjukkan bahwa bahasa yang cukup ekspresif tidak bisa mendefinisikan kebenaran untuk dirinya sendiri — butuh metalanguage. Saul Kripke mengembangkan teori kebenaran berbasis fixed points. Paradoks ini menjadi salah satu motivasi utama logika matematis abad ke-20.
← Kembali ke Daftar Paradoks