“Ich werde Dir beweisen, daß a + (b + n) = (a + b) + n”. Niemand erwartet sich nun den Komplex B zu sehen. Man erwartet eine andere Regel über a, b, und n zu hören, die den Übergang von der einen auf die andere Seite vermittelt. Wenn mir statt dessen B und das Schema R gegeben wird, so kann ich das keinen Beweis nennen, eben weil ich unter Beweis etwas anderes verstehe.
     Ja ich werde dann etwa sagen: “Ach so, das nennst Du ‘Beweis’, ich habe mir vorgestellt …”.