metamathematics
Teilbereich der Mathematik, der sich mit den Methoden, Strukturen und der Logik der Mathematik selbst befasst.
A branch of mathematics that studies mathematical structures, systems, and their logical foundations.
-
Die Metamathematik untersucht die Konsistenz formaler Systeme.— Metamathematics examines the consistency of formal systems.
-
Er arbeitet intensiv an Problemen der Metamathematik.— He is working intensively on problems of metamathematics.
-
Viele Sätze der Metamathematik nutzen die Aussagenlogik.— Many theorems of metamathematics use propositional logic.