Es gibt einen Kalkül mit Gleichungen und einen Kalkül mit Ungleichungen. Es gibt Uebergänge von einer Ungleichung zu einer andern, nur sind natürlich die Regeln andere, als für die Uebergänge, die durch Gleichungen erlaubt werden. Die Ungleichungen werden wie die Gleichungen als [v|g]rammatische Regeln angewandt.