Bertrand Russell (1901) menemukan: dalam teori himpunan naif Frege, definisikan R = himpunan semua himpunan yang tidak memuat dirinya sendiri. Apakah R ∈ R? Jika ya, maka R tidak boleh ada di R. Jika tidak, maka R memenuhi syarat untuk masuk R. Kontradiksi dalam dua arah.
Dampaknya catastrophic bagi proyek Frege — Russell mengirim surat ini tepat saat buku kedua Frege hampir selesai dicetak. Akibatnya, matematika modern dibangun ulang di atas aksioma ZFC (Zermelo-Fraenkel) yang secara eksplisit membatasi pembentukan himpunan. Ini salah satu momen paling dramatis dalam sejarah matematika.
← Kembali ke Daftar Paradoks