Wenn ich ˇso aber ◇◇◇ in B statt a & b bestimmte Zahlen einsetze so ändert der Beweis insofern seinen Charakter, als nun β & γ nicht mehr aus α hervorgehen sondern nur aus dem früheren allgemeinen α. Und das gewährt uns wieder einen Einblick in den Beweis. Denn auch in seiner allgemeinen Form wird β & γ nicht eigentlich mit Hilfe von α konstruiert sondern mit Hilfe eines algebraischen Paradigmas von der Form α (daß übrigens ganz andere Variable enthalten kann).