Wie einem Wittgensteinschen Tautologieschema ein Russellscher „Beweis” durch Reduktion auf Propositionen entspricht.