jede Anzahl von Kreuzen = Form eines Ausdrucks
Wert ist der markierte Zustand eines leeren Kreuzes siehe: pc = c
| arithmetische Initiale | ||
| I1 | ()() = () | |
| I2 | (()) = | |
| algebraische Initiale | ||
| J1 | („Position“) | ((p)p) = |
| J2 | (‘Transposition’) | ((pr)(pq)) = ((p)(q))r |
| Konsequenzen | ||
| C1 | ((a)) = a | |
| C2 | (ab))b = (a)b | |
| C3 | ()a = () | |
| C4 | ((a)b)a = a | |
| C5 | aa = a | |
| C6 | ((a)(b)) ((a)b) = a | |
| C7 | (((a)b)c) = (ac) ((b)c) | |
| C8 | ((a)(br)(cr)) = ((a)(b)(c)) ((a)(r)) | |
| C9 | (((b)(r)) ((a)(r)) ((x)(r) ((x)(r)) = ((r)ab) (rxy) |