Es gibt einen Kalkül mit Gleichungen und 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.