The set of all sets -- Russell's Paradox.
3-Second Blueprint (English)
- The Axiom of Separation safely constructs subsets only by filtering elements satisfying a condition P(x) from an already existing set S.
- Loosening this to Unrestricted Comprehension permits defining Russell's collection R = {x : x ∉ x}, yielding the paradox R ∈ R ⇔ R ∉ R.
- Assuming a universal set V of all sets exists allows Separation to carve R out of V as a valid set, proving by contradiction V cannot exist.
Axiom of SeparationRussell's ParadoxUnrestricted ComprehensionProof by Contradiction
3-Sekunden-Fazit (Deutsch)
- Das Aussonderungsaxiom bildet Teilmengen widerspruchsfrei nur durch Filtern von Elementen mit Eigenschaft P(x) aus einer gegebenen Menge S.
- Das uneingeschränkte Komprehensionsprinzip erlaubt Russells Klasse R = {x : x ∉ x}, was direkt in den Widerspruch R ∈ R ⇔ R ∉ R führt.
- Existierte eine Allmenge V aller Mengen, ließe sich R per Aussonderung als Menge gewinnen – ein Widerspruch, der V unmöglich macht.
AussonderungsaxiomRussellsche AntinomieKomprehensionsprinzipWiderspruchsbeweis
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.