Burali-Forti Paradox

← paradoks.kyo.fyi

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