W.V.O. Quine menciptakan konstruksi: ambil frasa F = "menghasilkan kalimat salah jika disisipkan setelah tanda kutipnya sendiri". Gabungkan: "'menghasilkan kalimat salah jika disisipkan setelah tanda kutipnya sendiri' menghasilkan kalimat salah jika disisipkan setelah tanda kutipnya sendiri." Kalimat ini menyatakan dirinya salah — persis Liar Paradox, tapi dibangun tanpa kata "ini" atau self-reference eksplisit.
Teknik Quine ini (quining) menjadi alat penting dalam logika dan ilmu komputer: cara membuat program yang mencetak kode sumbernya sendiri (quine program dalam pemrograman) menggunakan prinsip yang sama.
← Kembali ke Daftar Paradoks