‘Die Kontradiktion ist wahr’ heißt hier, sie ist bewiesen; abgeleitet aus den Regeln für das Wort “h”. Ihre Verwendung ist, zu zeigen, daß “h” eines jener Wörter ist, welche in “ξ ∊ b” eingesetzt keinen Satz ergeben. || ein Wort ist welches in “ξ ∊ b” eingesetzt keinen Satz ergibt.