Παράδοξο του Ράσελ

Πρότυπο:-el-

Πρότυπο:Ετυμολογία

Παράδοξο του Ράσελ < παράδοξο & το επώνυμο του Πρότυπο:Β

Πρότυπο:Πολυλεκτικός όρος

Παράδοξο του Ράσελ

• Πρότυπο:Ετ συλλογισμός που δημιουργούσε φαύλο κύκλο και επινοήθηκε το 1901 από τον Πρότυπο:Β για να δείξει ότι η θεωρία συνόλων του Γκέοργκ Κάντορ (Georg Cantor) δεν είχε τυπική διατύπωση

Πρότυπο:Σημειώσεις

• Σύντομη μαθηματική διατύπωση του παράδοξου:

  Έστω σύνολο $R=\{x:x\notin x\}$.

  Τότε ισχύει ένα από τα δύο (α) $R\in R$ ή (β) $R\notin R$.

  Στην περίπτωση του (α), $R\in R\Rightarrow R\notin R$; και στην περίπτωση του (β), $R\notin R\Rightarrow R\in R$.

  Αντιμετωπίστηκε με την «αρχή του φαύλου κύκλου»

Πρότυπο:Μεταφράσεις

Πρότυπο:Μτφ-αρχή Πρότυπο:En : Πρότυπο:Τ Πρότυπο:Μτφ-τέλος