“Die Kontradiktion ist wahr” heißt: Das ist wirklich ein Widerspruch, & Du darfst also das Wort ‘h’ so als Argument von ‘ξ∊ h’ nicht verwenden.