**Biasanya…**

Di sekolah, secara abstrak, kita biasanya mendefinisikan sebuah himpunan dengan cara menyatakan suatu properti yang harus dipenuhi dan hanya dipenuhi oleh semua anggota himpunan tersebut; kita tulis himpunan tersebut dengan notasi

.

Contoh, misalkan adalah suatu himpunan dengan resep yang jelas. Kita pun bisa memeriksa bahwa merupakan anggota dari himpunan , atau kita tulis . Kita juga bisa memeriksa bahwa bukan anggota dari himpunan , dan kita tulis .

**Sedikit logika dan refleksi**

Ingat bahwa notasi berarti merupakan anggota dari ; dan berarti bukan anggota dari . Logika matematika menyatakan bahwa untuk sembarang objek dan , kita harus punyai atau (sesuatu bernilai benar atau salah di matematika), dan tidak boleh keduanya sekaligus!

Intuisi kita mengatakan bahwa kita bisa membuat himpunan atau koleksi objek dengan “resep” sesuka hati kita seperti di atas; kita definisikan saja himpunan apa dengan anggota-anggotanya seperti apa. Nanti, kalau kita dikasih suatu objek (apapun), kita bisa menentukan nantinya dengan mengecek resep tadi apakah objek ini anggota himpunan kamu atau bukan. *That’s all the essence of playing with sets in mathematics, right? *(Bahkan, kalau kamu merupakan matematikawan, pasti kamu tahu seberapa pentingnya himpunan dalam hidupmu 😉 ).

**The Paradox**

Tahun 1901, filsuf dan matematikawan Bertrand Russell menemukan paradoks jika kita mengadopsi intuisi ini. Artinya, intuisi kita perlu diperbaiki. Berikut adalah permasalahan yang dia temukan.

Pandang himpunan

.

Dalam bahasa sehari-hari, merupakan himpunan semua objek (himpunan) yang tidak mengandung dirinya sendiri.

Sekarang, pertanyaannya adalah apakah ? Kita coba berandai-andai; kan hanya ada dua kemungkinan: atau . Mana yang sebenarnya?

Andaikan yang pertama: . Karena anggota dari , maka memenuhi resep keanggotaan itu sendiri; namun resep itu mengatakan bahwa . Kontradiktif! Jadi, andaian ini tidak mungkin,

Oke, bagaimana kalau kita andaikan yang kedua: . Oke, ternyata memenuhi resep keanggotaan himpunan yang kita definisikan tadi; jadi harusnya . Kontradiktif lagi! Jadi, andaian ini juga tidak mungkin.

Kita sudah menciptakan sesuatu yang bernama yang kita pikir merupakan himpunan, namun kita tidak bisa mengatakan apakah maupun . Ini kan *ngawur*?

Jadi, objek apakah ini sebenarnya? Apakah dia pantas disebut sebuah himpunan? Atau bahkan, apakah dia pantas disebut sebagai objek di dunia matematika? *Or maybe we should drop mathematical theory as it is** mere bullshit? *Mungkin himpunan-himpunan yang didefinisikan para pakar matematika itu semuanya kontradiktif dengan dirinya sendiri?

**Lahirnya Set Theory**

Paradoks Russell ini menjadi benih kelahiran bidang kajian yang sangat besar di bidang logika dan fondasi matematika yang disebut Teori Himpunan (terjemahan: Set Theory).

Teori himpunan adalah bidang kajian yang mencoba memberi aturan tentang apa yang merupakan himpunan dan bukan dan membangun (ulang) matematika dengan aturan-aturan tersebut. Dengan teori himpunan, kita bisa secara formal menceritakan konsep bilangan, konsep ketakhinggaan (*infinity*), dan melihat secara detail keanehan-keanehan yang terjadi di matematika.

Salah satu teori yang secara sosial diterima para pakar matematika sebagai fondasi matematika adalah teori ZFC (Zermelo-Fraenkel theory + Axiom of Choice). Bisa jadi satu buku sih kalau saya menulis tentang ZFC, tapi saya akan dengan senang hati menulis tulisan sedikit demi sedikit tentang teori ini di blog post selanjut-selanjutnya tentang dalam seri #logika. Ditunggu ya. 😉