(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. || 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
‒ ‒ ‒
‒ ‒ ‒