94
nämlich als Gleichungen zwischen besonderen Zahlen, die als Beispiele funktionieren || symbolisieren. Ein solcher Beweis ist ganz von ähnlicher Art, wie der eines geometrischen Satzes über das Dreieck durch eine Konstruktion in || an einem Dreieck. (Aber doch nur ähnlich, also logisch verwandt, aber nicht ganz gleich.) Dem Satz I entspricht dann folgender Beweis: