Haskell Curry menemukan bahwa kalimat berbentuk "Jika kalimat ini benar, maka Santa Claus ada" bisa dipakai untuk membuktikan apa saja. Jika kalimat itu benar, maka antesedensnya benar, sehingga Santa Claus ada. Jika tidak benar — tidak ada kontradiksi eksplisit, tapi sistem logika yang memungkinkan self-reference akan runtuh juga.
Berbeda dari Liar Paradox, Curry's Paradox tidak membutuhkan negasi. Ia murni mengeksploitasi self-reference dan material conditional. Solusinya membutuhkan pembatasan pada bagaimana kalimat bisa merujuk pada dirinya sendiri — ini menjadi motivasi utama teori tipe (type theory) dalam fondasi matematika.
← Kembali ke Daftar Paradoks