metamathematical
Die Untersuchung oder Analyse mathematischer Systeme durch mathematische Mittel oder innerhalb der Mathematik selbst betreffend.
Relating to metamathematics; the analysis of mathematical structures using mathematical methods.
-
Er stellte eine metamathematische Frage zur Logik.— He posed a metamathematical question about logic.
-
Diese Beweise sind rein metamathematisch.— These proofs are purely metamathematical.
-
Die Untersuchung ist metamathematisch fundiert.— The investigation is metamathematically sound.
Синонимы
formallogisch
Антонимы