Wie ist es mit dem Satz “p ⊃ p ist eine Tautologie”? Er ist etwar vergleichbar mit: “318 ist durch 3 teilbar”.