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

Ü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.

Part. Präs.

Основная форма

/ɐksʲɪəmətʲɪˈzʲirʊjɪmɨj/

Основная форма

/ɐksʲɪəmətʲɪˈzʲirʊjɪmɨj/

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

Любая теория, аксиоматизируемая конечным набором предложений, удобна для строгого анализа.

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

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

axiomatizable class

An axiomatizable class plays an important role in mathematical logic.

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

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

axiomatizable predicate

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

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

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

axiomatizable case

The axiomatizable case is considered in a separate chapter.

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

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

axiomatizable fragment

An axiomatizable fragment of the theory makes its study easier.

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

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

axiomatizable language

An axiomatizable language allows the formalization of a theory.