аксиоматизировать
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.— Эту теорию трудно аксиоматизировать.
Синонимы