is axiomatizable
аксиоматизируемо
axiomatizable theory
аксиоматизируемая теория
not axiomatizable
не аксиоматизируемо
axiomatizable system
аксиоматизируемая система
fully axiomatizable
полностью аксиоматизируемо
axiomatizable logic
аксиоматизируемая логика
easily axiomatizable
легко аксиоматизируемо
axiomatizable class
аксиоматизируемый класс
recursively axiomatizable
рекурсивно аксиоматизируемо
finite axiomatizable
конечно аксиоматизируемо
this theory is not axiomatizable in first-order logic.
Эта теория не является аксиоматизируемой в первом порядке логике.
the class of all finite structures is not axiomatizable.
Класс всех конечных структур не является аксиоматизируемым.
some mathematical theories are easily axiomatizable.
Некоторые математические теории легко аксиоматизируются.
the system can be recursively axiomatizable if it satisfies certain conditions.
Система может быть рекурсивно аксиоматизируемой, если она удовлетворяет определенным условиям.
not every infinite structure is axiomatizable.
Не каждая бесконечная структура является аксиоматизируемой.
this logic turns out to be finitely axiomatizable.
Оказывается, эта логика является конечной аксиоматизируемой.
the theory is known to be positively axiomatizable.
Известно, что эта теория является положительно аксиоматизируемой.
we prove that the axioms are not easily axiomatizable.
Мы доказываем, что аксиомы не являются легко аксиоматизируемыми.
these structures are axiomatizable by a set of simple rules.
Эти структуры аксиоматизируются с помощью набора простых правил.
the theory becomes axiomatizable when we add new primitives.
Теория становится аксиоматизируемой, когда мы добавляем новые примитивы.
it remains an open question whether this class is axiomatizable.
Остается открытым вопрос, является ли эта класс аксиоматизируемым.
the property is not generally axiomatizable in the usual sense.
Это свойство не является в общем случае аксиоматизируемым в обычном смысле.
is axiomatizable
аксиоматизируемо
axiomatizable theory
аксиоматизируемая теория
not axiomatizable
не аксиоматизируемо
axiomatizable system
аксиоматизируемая система
fully axiomatizable
полностью аксиоматизируемо
axiomatizable logic
аксиоматизируемая логика
easily axiomatizable
легко аксиоматизируемо
axiomatizable class
аксиоматизируемый класс
recursively axiomatizable
рекурсивно аксиоматизируемо
finite axiomatizable
конечно аксиоматизируемо
this theory is not axiomatizable in first-order logic.
Эта теория не является аксиоматизируемой в первом порядке логике.
the class of all finite structures is not axiomatizable.
Класс всех конечных структур не является аксиоматизируемым.
some mathematical theories are easily axiomatizable.
Некоторые математические теории легко аксиоматизируются.
the system can be recursively axiomatizable if it satisfies certain conditions.
Система может быть рекурсивно аксиоматизируемой, если она удовлетворяет определенным условиям.
not every infinite structure is axiomatizable.
Не каждая бесконечная структура является аксиоматизируемой.
this logic turns out to be finitely axiomatizable.
Оказывается, эта логика является конечной аксиоматизируемой.
the theory is known to be positively axiomatizable.
Известно, что эта теория является положительно аксиоматизируемой.
we prove that the axioms are not easily axiomatizable.
Мы доказываем, что аксиомы не являются легко аксиоматизируемыми.
these structures are axiomatizable by a set of simple rules.
Эти структуры аксиоматизируются с помощью набора простых правил.
the theory becomes axiomatizable when we add new primitives.
Теория становится аксиоматизируемой, когда мы добавляем новые примитивы.
it remains an open question whether this class is axiomatizable.
Остается открытым вопрос, является ли эта класс аксиоматизируемым.
the property is not generally axiomatizable in the usual sense.
Это свойство не является в общем случае аксиоматизируемым в обычном смысле.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now