ru

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

en

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

аксиоматизируемый
Прилагательное
raiting
аксиоматизируемый муж.
аксиоматизируемого муж. / средн.
аксиоматизируемому муж. / средн.
аксиоматизируемым муж. / средн. / множ.
аксиоматизируемом муж. / средн.
аксиоматизируемая жен.
аксиоматизируемой жен.
аксиоматизируемую жен.
аксиоматизируемою жен.
аксиоматизируемое средн.
аксиоматизируемые множ.
аксиоматизируемых множ.
аксиоматизируемыми множ.
Эта теория является аксиоматизируемой.
This theory is axiomatizable.

Опеределения

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

Идиомы и фразы

аксиоматизируемый класс
Аксиоматизируемый класс играет важную роль в математической логике.
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.