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