o ⨯  
     ⌊⌊(⌋⌋ Wie einem Wittgensteinschen Tautologieschema ein Russellscher „Beweis” durch Reduction auf Pp. entspricht.