-
Englisch
-
Russisch
-
Deutsch
-
Englisch
-
Russisch
-
Deutsch
Аксиоматизируемый
Übersetzung von "аксиоматизируемый" ins Englisch
аксиоматизируемый
Part. Präs.
Основная форма
/ɐksʲɪəmətʲɪˈzʲirʊjɪmɨj/
Основная форма
/ɐksʲɪəmətʲɪˈzʲirʊjɪmɨj/
аксиоматизируемый
аксиоматизируемого
аксиоматизируемому
аксиоматизируемым
аксиоматизируемом
аксиоматизируемая
аксиоматизируемой
аксиоматизируемую
аксиоматизируемою
аксиоматизируемое
аксиоматизируемые
аксиоматизируемых
аксиоматизируемыми
Эта теория является аксиоматизируемой.
This theory is axiomatizable.
Definitionen
аксиоматизируемый
Part. Präs.
Основная форма
/ɐksʲɪəmətʲɪˈzʲirʊjɪmɨj/
Основная форма
/ɐksʲɪəmətʲɪˈzʲirʊjɪmɨj/
Который может быть аксиоматизирован; допускающий формальное изложение в виде системы аксиом.
Любая теория, аксиоматизируемая конечным набором предложений, удобна для строгого анализа.
Redewendungen und Phrasen
аксиоматизируемый класс
Аксиоматизируемый класс играет важную роль в математической логике.
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.