Paradokslar
İlk önce Pradoks'u tanımlayalım.
Yunanca “karşı, karşıt, zıt” anlamına gelen “para” önekiyle, fikir düşünce anlamına gelen “daxos” sözcüğünden oluşmuş bir kelimedir paradoks. Kısaca paradoks:
- Yanıltmaç
- Kısır döngü
- Çelişki
- Kağıt-kalem veya mantık illüzyonu da diyebiliriz.
Eğer X kendisinin bir elemanı değilse, kendisini içermelidir çünkü X kendisini içermeyen kümeleri içeren bir kümedir. Eğer X kendisinin bir elemanıysa, X kendisini içermeyen bir kümedir çünkü X kümesi kendisini içermeyen kümelerden oluşur. Oluşan bu paradoksa Russel Paradoksu denir.
Sembolik olarak:
Sezgisel Kümeler Kuramı'nı, sembolik mantığın "" ikili ilişkisiyle ve tanımlı altküme aksiyom şemasıyla şu şekilde tanımlarsak:
Görüldüğü gibi kümeler kuramında yazılmış herhangi bir özelliği için sadece x değişkeni serbesttir. Bu özelliğini şeklinde tanımlayalım. O halde y=x seçtiğimiz durumda aşağıdaki gibi bir çelişki elde ederiz.
Bu da Russel bu çelişkiyi fark etmeden önce Frege'nin üzerinde çalıştığı kümeler kuramının tutarsız olduğunun bir göstergesidir.