Es gibt etwas
was wir das Ausrechnen von 25 × 25 oder die Kontrolle von 25 × 25 = 625 nennen. Kann man nun a + (b + c) = (a + b) + c ausrechnen? Je nachdem ob man es als ausrechenbar oder unausrechenbar betrachtet wird es beweisbar oder nicht. Denn ist es eine Regel der jede Ausrechnung folgen muß ein Paradigma dann hat es keinen Sinn von einer Ausrechnung zu reden sowenig wie von der einer Definition etwa
     1 + 1 = 2 Def.