Ein Beweis in der Mathematik ist allgemein wenn er allgemein anwendbar ist. Eine andere Allgemeinheit kann nicht im Namen der Strenge gefordert werden. Jeder Beweis stützt sich auf bestimmte Zeichen, auf eine bestimmte Zeichengebung. Es kann nur die eine Art der Allgemeinheit eleganter erscheinen als die andere.