метаматематика
Teilbereich der Mathematik, der sich mit den Methoden, Strukturen und der Logik der Mathematik selbst befasst.
Раздел математики, изучающий математические системы, их свойства и логические основания.
-
Die Metamathematik untersucht die Konsistenz formaler Systeme.— Метаматематика исследует непротиворечивость формальных систем.
-
Er arbeitet intensiv an Problemen der Metamathematik.— Он интенсивно работает над проблемами метаматематики.
-
Viele Sätze der Metamathematik nutzen die Aussagenlogik.— Многие положения метаматематики используют логику высказываний.