text: Mathematisch und philosophisch bedeutungsvoll ist hauptsächlich die Variante, bei der statt das umgekehrte Elementprädikat steht, mit erhält man aus obigem Beweisschema genau den Beweis für die Nichtexistenz der Russellschen Klasse.