17 + 28 kann ich nur mir nach Regeln ausrechnen, ich brauche 17 + 28 = 45 (s) nicht als Regel zu geben. Kommt also in einem Beweis der Uebergang von f(17 + 28) auf f(45) vor, so brauche ich nicht sagen, er geschähe nach der Regel s, sondern nach andern Regeln des 1 + 1.