Russell's Paradox - A Ripple in the Foundations of Mathematics
3-Second Blueprint (English)
- Gottlob Frege sought to ground arithmetic in pure logic via General Comprehension, assuming every definable concept forms a valid set.
- In 1901, Bertrand Russell defined the set of all sets that do not contain themselves, proving it contains itself if and only if it does not.
- Exposing unrestricted comprehension as contradictory spurred axiomatic Zermelo-Fraenkel set theory and modern type-theoretic foundations.
Russell's ParadoxUnrestricted ComprehensionGottlob FregeZermelo-Fraenkel (ZFC)
3-Sekunden-Fazit (Deutsch)
- Gottlob Frege wollte die Arithmetik rein logisch begründen und nahm im Komprehensionsprinzip an, jeder Begriff definiere eine gültige Menge.
- 1901 konstruierte Bertrand Russell die Menge aller Mengen, die sich nicht selbst enthalten, was in einen unauflösbaren Widerspruch führt.
- Die Widerlegung der naiven Mengenlehre führte zur axiomatischen Zermelo-Fraenkel-Mengenlehre sowie zu modernen typentheoretischen Ansätzen.
Russellsche AntinomieKomprehensionsprinzipGottlob FregeZermelo-Fraenkel (ZFC)
Note / Hinweis: Blueprints are AI-generated educational summaries (0% Politics · 0% Religion · 0% Brainrot) and do not constitute medical, legal, or financial advice. / KI-generierte Zusammenfassung zu Bildungszwecken – ersetzt keine medizinische, rechtliche oder finanzielle Fachberatung.