Ich kann z.B. einen Satz beweisen indem ich durch Farben andeute, daß er die Form eines meiner Axiome hat, aber durch eine gewisse Substitution verlängert.