====== METAMATHEMATIK ======

- steht sozusagen über der [[Mathematik]], weil sie die Folgerichtigkeit des mathematischen Denksystems überprüft/überprüfen soll → formuliert die [[Sprache]] des [[Kalkül]]s\\
- zwingt zu einer genauen [[Definition]] der Operationen und logischer [[Gesetz]]e, 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