παράδοξο του Ράσελ: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας
Γραμμή 3:
'''{{PAGENAME}}'''
* {{λογ}} {{μαθ}} {{φιλοσ}} ([[θεωρία συνόλων]]) συλλογισμός που δημιουργούσε [[φαύλος κύκλος|φαύλο κύκλο]] και επινοήθηκε το 1901 από τον Μπέρτραντ Ράσελ για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε [[τυπικός|τυπική]] διατύπωση
 
*: Σύντομη μαθηματική διατύπωση του παράδοξου:
===={{σημειώσεις}}====
*: Σύντομη μαθηματική διατύπωση του παράδοξου:
*:: Έστω σύνολο <math>\textstyle R=\{x:x\notin x\}</math>.
*:: Τότε ισχύει ένα από τα δύο (α) <math>\textstyle R\in R</math> ή (β) <math>\textstyle R\notin R</math>.