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