Es gibt einen Kalkül mit Gleichungen & einen Kalkül mit Ungleichungen. Es gibt Übergänge von einer Ungleichung zu einer andern nur sind natürlich die Regeln andere als für die Übergänge die durch Gleichungen erlaubt werden. Die Ungleichungen werden wie die Gleichungen als
grammatische Regeln angewandt.