Von den Satzen der Mathematik kann man sagen, sie seien normative Sätze. Und das charakterisiert ihren Gebrauch.