аксиоматизировать
Ein System oder eine Theorie auf der Grundlage von Axiomen (unbeweisbaren Grundannahmen) aufbauen.
Выводить систему или теорию из набора аксиом.
-
Der Mathematiker hat die Geometrie erfolgreich axiomatisiert.— Математик успешно аксиоматизировал геометрию.
-
Man versucht, die gesamte Logik zu axiomatisieren.— Пытаются аксиоматизировать всю логику.
-
Diese Theorie lässt sich schwer axiomatisieren.— Эту теорию трудно аксиоматизировать.
Синонимы