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