Versie van 20 sep 2017 20:58 bewerken Richardw (overleg \| bijdragen) moderatoren 69.635 bewerkingen k Interpunctie ← Oudere bewerking		Versie van 19 okt 2017 14:15 bewerken ongedaan maken 188.118.13.209 (overleg) →‎Verband met Cantor: verbetering typfoutje Nieuwere bewerking →
Regel 32: == Verband met Cantor == De paradox van Russell is sterk verbonden met het [[diagonaalbewijs van Cantor]]. Daarmee kan aangetoond worden dat de verzameling van alle [[deelverzameling]]en van een verzameling een element bevat dat geen element is van de oorspronkelijke verzameling. Alle ~~deelverzamelimgen~~deelverzamelingen van de verzameling van alle verzamelingen is de verzameling van alle verzamelingsverzamelingen. Maar dit is zelf een deelverzameling van de verzameling van alle verzamelingen, wat een paradox is. Past men het bewijs van Cantor toe om te bewijzen dat die verzameling desondanks groter is, dan is de Russellverzameling de verzameling waarvan aangetoond wordt dat die niet in de verzameling van alle verzamelingen zit.

Russellparadox: verschil tussen versies