/  
     (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 Denkt man an einen Satz der Logik.? Denken wir nun daran, wie der Satz non2n p = p bewiesen wird.)
⌊⌊ 0˙a11 a12 a13
0˙a21 a22 a23
0˙a31 a32 a33
‒ ‒ ‒
‒ ‒ ‒


⌋⌋