Ich will sagen: der Ausdruck “der Beweis des Satzes …”, wenn es den Beweis gibt, ist keine Russellsche Beschreibung.