(Ein Satz der von allen Sätzen oder allen Funktionen handelt. Was
meint man damit?
stellt man sich darunter vor?
Es wäre wohl ein Satz der Logik. Denken wir nun nur daran, wie wir de[n|r] Satz ~2n p = p bew[ei|ie]sen wird.)