(Ein Satz der von allen Sätzen oder allen Funktionen handelt. Was stellt man sich darunter vor? || meint man damit? Es wäre wohl ein Satz der Logik. Denken wir nun nur daran, wie wir den Satz ~2n p = p beweisen würden || der Satz ~2n p = P bewiesen wird.)