- steht sozusagen über der MATHEMATIK, weil sie die Folgerichtigkeit des mathematischen Denksystems überprüft/überprüfen soll → formuliert die SPRACHE des KALKÜLs
- zwingt zu einer genauen DEFINITION der Operationen und logischer GESETZe, weil sie die verwendeten ZEICHEN kodifiziert → Klarheit bei der Verwendung durch die Mathematik schaffend, d.i. ein grundlegender UNTERSCHIED zur Mathematik, sie denkt über das Was der Mathematik und das Wie nach