Cantor’s Paradox

Cantor’s Paradox (Paradoks Cantor) adalah paradoks dalam teori himpunan yang muncul ketika kita mencoba membentuk himpunan dari semua himpunan. Menurut teorema Cantor, himpunan kuasa (himpunan semua himpunan bagian) dari setiap himpunan selalu memiliki kardinalitas yang lebih besar daripada himpunan itu sendiri. Jika ada himpunan semua himpunan, himpunan kuasanya akan menjadi himpunan yang lebih besar daripada himpunan semua himpunan, dan ini mustahil.

Paradoks ini dinamai menurut Georg Cantor, pencipta teori himpunan modern dan teori bilangan transfinit. Menurut sebagian sejarawan, Cantor adalah orang pertama yang menemukan paradoks dalam teori himpunan yang baru lahir, meskipun tanggal penemuannya diperdebatkan, dengan perkiraan antara 1883 dan 1896. Burali-Forti adalah yang pertama mempublikasikan ketidakkonsistenan terkait himpunan transfinit, tetapi Cantor sudah lebih dulu menyadari persoalan serupa dalam bentuk paradoks kardinal terbesar.

Cantor menyampaikan pemikirannya tentang hal ini dalam surat kepada Hilbert pada 1897 dan kepada Dedekind pada 1899. Dalam surat-surat itu ia memperkenalkan istilah multiplisitas tak konsisten (inconsistent multiplicities) untuk koleksi yang terlalu besar untuk dianggap sebagai himpunan. Paradoks ini kemudian menjadi salah satu pemicu krisis fondasi matematika awal abad ke-20.

Pengertian Cantor’s Paradox

Dasar paradoks ini adalah teorema Cantor, yang dibuktikan dengan argumen diagonal yang terkenal. Teorema itu menyatakan bahwa untuk setiap himpunan A, kardinalitas himpunan kuasa P(A) secara ketat lebih besar daripada kardinalitas A. Untuk himpunan berhingga, ini jelas: himpunan dengan n unsur memiliki 2 pangkat n himpunan bagian. Teorema Cantor menunjukkan bahwa hal yang sama berlaku untuk himpunan tak hingga, sehingga ada tak hingga jenis ketakhinggaan yang berbeda ukurannya.

Paradoksnya muncul dengan langkah berikut. Misalkan U adalah himpunan semua himpunan. Setiap himpunan bagian dari U adalah sebuah himpunan, sehingga ia sendiri merupakan anggota U. Dengan kata lain, himpunan kuasa P(U) termuat dalam U, sehingga kardinalitas P(U) tidak mungkin lebih besar daripada kardinalitas U. Namun teorema Cantor menyatakan sebaliknya: kardinalitas P(U) lebih besar daripada kardinalitas U. Kedua pernyataan ini saling bertentangan.

Bentuk lain paradoks ini menyangkut bilangan kardinal: tidak ada kardinal terbesar, karena untuk setiap kardinal selalu ada kardinal yang lebih besar, yaitu kardinalitas himpunan kuasanya. Maka kumpulan semua kardinal tidak mungkin membentuk himpunan. Kedua versi bermuara pada kesimpulan serupa: ada koleksi yang terlalu besar untuk menjadi himpunan.

Argumen Cantor’s Paradox

Teorema Cantor dan Argumen Diagonal

Teorema Cantor merupakan fondasi paradoks ini dan sekaligus salah satu hasil terpenting matematika. Argumennya sederhana: andaikan ada pemetaan dari himpunan A ke himpunan kuasanya yang mencakup seluruh himpunan bagian. Kita dapat membentuk himpunan bagian yang terdiri atas unsur-unsur A yang tidak termasuk dalam himpunan bagian yang dipetakan kepadanya. Himpunan bagian ini tidak dapat menjadi bayangan dari unsur mana pun, sehingga pemetaan tidak mungkin mencakup seluruh himpunan bagian.

Pola penalaran ini, yaitu argumen diagonal, juga mendasari banyak paradoks swa-rujukan lain dan hasil-hasil dalam logika dan teori komputasi. Kerangka yang lebih umum menunjukkan bahwa banyak paradoks swa-rujukan, teorema ketaklengkapan, dan teorema titik tetap muncul dari skema yang sama. Dalam pengertian ini, paradoks Cantor merupakan konsekuensi langsung dari sebuah teorema yang sahih ketika diterapkan pada koleksi yang tidak seharusnya ada.

Multiplisitas Tak Konsisten dan Ketakhinggaan Mutlak

Respons Cantor sendiri terhadap paradoks ini adalah membedakan jenis koleksi. Koleksi yang dapat dipikirkan sebagai satu kesatuan adalah himpunan. Koleksi yang terlalu besar, sehingga anggapan bahwa ia merupakan satu kesatuan menimbulkan kontradiksi, ia sebut multiplisitas tak konsisten. Himpunan semua himpunan, semua ordinal, dan semua kardinal termasuk dalam golongan kedua. Dengan cara ini, kontradiksi dihindari karena koleksi-koleksi tersebut memang tidak membentuk himpunan.

Cantor mengaitkan koleksi semacam itu dengan ketakhinggaan mutlak (absolute infinite), yaitu ketakhinggaan yang melampaui seluruh ketakhinggaan transfinit yang dapat dipelajari secara matematis. Ia membedakan ketakhinggaan aktual yang terwujud dalam kesempurnaan tertinggi di dalam Tuhan, yang ia sebut mutlak, dari ketakhinggaan yang dapat dibayangkan sebagai besaran matematis, yang ia sebut transfinit. Karena itu bagi Cantor, ketakhinggaan mutlak berada di luar jangkauan penentuan matematis dan berkaitan dengan teologi.

Perdebatan tentang Pandangan Cantor

Ada perdebatan sejarah tentang bagaimana pandangan Cantor berkembang. Ignacio Jané berargumen bahwa sekitar 1896 Cantor bergeser dari memandang koleksi tak hingga mutlak sebagai aktual menjadi memandangnya sebagai sesuatu yang tidak dapat diselesaikan, yaitu potensial. Menurut penafsiran ini, Cantor secara diam-diam mendekati pandangan Zermelo tentang alam semesta matematika. Dalam karya berikutnya, Jané melunakkan sebagian klaim itu, dan penulis lain mengajukan keberatan dengan menekankan minat teologis Cantor.

Philip Welch dan Leon Horsten, di sisi lain, menegaskan bahwa Cantor berpegang pada pandangan bahwa alam semesta teori himpunan ada sebagai ketakhinggaan mutlak yang lengkap. Menurut mereka, paradoks Burali-Forti dan Russell pada awalnya ditafsirkan sebagai bukti bahwa teori himpunan “naif” Cantor tidak konsisten, dan secara keliru ditafsirkan pula bahwa Cantor gagal menyadari bahwa alam semesta matematika tidak dapat berupa himpunan. Cantor sendiri menolak tafsiran itu. Mereka juga membahas prinsip refleksi, yaitu gagasan bahwa setiap sifat dari ketakhinggaan mutlak juga dimiliki oleh suatu objek yang lebih kecil, sehingga ketakhinggaan mutlak tidak dapat “dipaku” oleh sifat yang hanya dimilikinya.

Dimensi Teologis

Kaitan antara ketakhinggaan mutlak dan Tuhan menjadi bahan kajian tersendiri. Penelitian tentang infinitas Cantorian dan konsep filosofis tentang Tuhan menunjukkan bahwa pandangan Cantor tentang alam semesta matematika sebagai keseluruhan tidak dapat dipisahkan dari pandangan metafisis dan teologisnya. Dalam pembacaan ini, Cantor tidak melihat paradoks sebagai kegagalan teorinya, tetapi sebagai tanda bahwa matematika bertemu dengan batas yang melampaui jangkauan penentuan matematis.

Respons Aksiomatis dan Tipe

Respons matematika arus utama berbeda dari jalur teologis tersebut. Pada awal abad ke-20, teori himpunan diaksiomatisasi sehingga pembentukan himpunan dibatasi. Dalam sistem Zermelo-Fraenkel, tidak ada himpunan semua himpunan, dan prinsip pemisahan hanya mengizinkan pembentukan himpunan bagian dari himpunan yang sudah ada. Dalam sistem yang mengenal kelas sejati, koleksi besar seperti semua himpunan dibicarakan sebagai kelas, bukan himpunan.

Russell merespons dengan teori tipe pada 1908, yang menyusun objek dalam hierarki sehingga totalitas yang melingkar tidak dapat dibentuk. Ketiga pendekatan ini, multiplisitas tak konsisten, aksiomatisasi, dan teori tipe, sepakat pada satu hal: tidak ada himpunan semua himpunan. Mereka berbeda dalam menjelaskan mengapa. Priest, dalam analisisnya tentang struktur paradoks swa-rujukan, menempatkan paradoks-paradoks teori himpunan klasik ke dalam satu keluarga struktural, sehingga paradoks Cantor dipandang sejajar dengan paradoks Russell dan Burali-Forti. Kajian lain membahas hubungan Cantor dengan paradoks Burali-Forti secara khusus.

Batasan dan Kritik

Beberapa catatan perlu diingat. Pertama, apakah paradoks ini merupakan kontradiksi nyata atau teorema bergantung pada kerangka: dalam teori himpunan aksiomatis standar, ia hanya membuktikan bahwa himpunan semua himpunan tidak ada. Kedua, penjelasan “terlalu besar” bersifat intuitif dan tidak sepenuhnya menjelaskan batas pembentukan himpunan. Ketiga, tafsir sejarah tentang pandangan Cantor masih diperdebatkan, termasuk apakah ia memandang ketakhinggaan mutlak sebagai aktual atau potensial.

Meski demikian, paradoks ini penting. Ia memperlihatkan bahwa tidak ada “himpunan terbesar”, mendorong aksiomatisasi teori himpunan, dan menjadi titik awal penyelidikan Russell yang berujung pada paradoksnya yang terkenal. Hingga kini, ia menjadi rujukan dalam diskusi tentang ketakhinggaan mutlak, prinsip refleksi, dan hubungan matematika dengan metafisika.

Referensi

• Jané, I. (1995). The role of the absolute infinite in Cantor’s conception of set. Erkenntnis, 42(3), 375–402.
• Jané, I. (2010). Idealist and realist elements in Cantor’s approach to set theory. Philosophia Mathematica, 18(2), 193–226.
• Menzel, C. (1984). Cantor and the Burali-Forti paradox. The Monist, 67(1), 92–107.
• Moore, G. H., & Garciadiego, A. (1981). Burali-Forti’s paradox: A reappraisal of its origins. Historia Mathematica, 8(3), 319–350.
• Priest, G. (1994). The structure of the paradoxes of self-reference. Mind, 103(409), 25–34.
• Russell, B. (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics, 30(3), 222–262.
• van der Veen, J., & Horsten, L. (2013). Cantorian infinity and philosophical concepts of God. European Journal for Philosophy of Religion, 5(3), 117–138.
• Welch, P., & Horsten, L. (2016). Reflecting on absolute infinity. The Journal of Philosophy, 113(2), 89–111.