760
                        (Ein Satz der von allen Sätzen oder allen Funktionen handelt. Was stellt man sich darunter vor? // Was meint man damit? // Es wäre wohl ein Satz der Logik. Denken wir nun daran, wie der Satz non2np = p bewiesen wird.)