Was lerne ich aus dem Induktionsbeweis des Dist.gesetzes, wenn
35
ich dieses schon annehme? Wie, wenn ich sagte: Ich lerne einen [B|b]eliebigen Satz von der Form [|]a + (b + c) = (a + b) + c’ aus Satz [|]a + (b + 1) = (a + b) + 1 erzeugen & zwar entsprechend gewissen ˇTransformations[R|r]egeln?
  Wäre, ihn so zu erzeugen, analog einer Euclidischen Konstruktionsaufgabe?
  Was ist aber davon der grammatische Nutzen? (Hier ist mir noch etwas gänzlich unklar.)