Teorema ini dirumuskan oleh logikawan Raymond Smullyan. Secara formal: dalam sembarang himpunan non-kosong, ada satu elemen sedemikian rupa sehingga jika predikat berlaku padanya, predikat itu berlaku pada semua elemen.
Paradoks ini bukan tentang sebab-akibat minum. Ini murni tentang struktur material conditional dalam logika predikat. Buktinya sederhana: ambil semua orang yang minum. Jika ada yang tidak minum, pilih orang itu — pernyataan "jika dia minum maka semua minum" benar secara vakum karena antesedensnya salah. Mengejutkan, tapi valid secara logis.
← Kembali ke Daftar Paradoks