Cesare Burali-Forti (1897) menemukan: jika kita kumpulkan semua bilangan ordinal dalam satu himpunan Ω, maka Ω sendiri adalah himpunan yang terurut-baik (well-ordered), sehingga memiliki tipe ordinal ω. Tapi ω harus lebih besar dari semua ordinal dalam Ω — dan juga harus ada di Ω. Kontradiksi.
Ini adalah paradoks pertama yang ditemukan dalam teori himpunan formal, mendahului Russell's Paradox. Resolusinya dalam ZFC: koleksi semua ordinal bukan himpunan (set) melainkan proper class — entitas yang terlalu besar untuk menjadi himpunan. Perbedaan ini fundamental dalam matematika modern.
← Kembali ke Daftar Paradoks