Wenn nun die Paradigmen meines neuen Kalküls auch alle die bestimmte Form R haben, so wäre es doch ein verwirrender Ausdruck zu sagen, die Richtigkeit der Gleichung AI, z.B., sei durch α bewiesen. Sie ist höchstens durch BI bewiesen, aber auch nur so, wie etwa früher i + (k + l) = (i + k) + l durch a + (b + c) = (a + b) + c.