Аксиоматизируемый

Перевод аксиоматизируемый на английский язык

Прилагательное

Эта теория является аксиоматизируемой.

This theory is axiomatizable.

Прилагательное

Который может быть представлен в виде аксиом или аксиоматической системы.

Этот математический объект аксиоматизируемый, что позволяет формализовать его свойства.

аксиоматизируемый класс

Аксиоматизируемый класс играет важную роль в математической логике.

axiomatizable class

An axiomatizable class plays an important role in mathematical logic.

аксиоматизируемый язык

Аксиоматизируемый язык позволяет формализовать теорию.

axiomatizable language

An axiomatizable language allows the formalization of a theory.

аксиоматизируемый предикат

Аксиоматизируемый предикат можно выразить с помощью набора аксиом.

axiomatizable predicate

An axiomatizable predicate can be expressed using a set of axioms.

аксиоматизируемый фрагмент

Аксиоматизируемый фрагмент теории облегчает её изучение.

axiomatizable fragment

An axiomatizable fragment of the theory makes its study easier.

аксиоматизируемый случай

Аксиоматизируемый случай рассматривается в отдельной главе.

axiomatizable case

The axiomatizable case is considered in a separate chapter.