-
English
-
Russian
-
English
-
Russian
Axiomatizable
UK
/ˌæksɪəʊˈmætɪzəbl/
US
/ˌæksaɪəˈmætəˌzaɪbəl/
Translation axiomatizable into russian
axiomatizable
Adjective
UK
/ˌæksɪəʊˈmætɪzəbl/
US
/ˌæksaɪəˈmætəˌzaɪbəl/
The theory is axiomatizable, meaning it can be fully described by a set of axioms.
Теория аксиоматизируемая, что означает, что она может быть полностью описана набором аксиом.
Definitions
axiomatizable
Adjective
UK
/ˌæksɪəʊˈmætɪzəbl/
US
/ˌæksaɪəˈmætəˌzaɪbəl/
Capable of being expressed or formulated as a set of axioms.
The mathematical theory was considered axiomatizable, as it could be derived from a finite set of basic principles.
Idioms and phrases
axiomatizable theory
The researcher focused on the properties of an axiomatizable theory.
аксиоматизируемая теория
Исследователь сосредоточился на свойствах аксиоматизируемой теории.
axiomatizable system
The mathematician proved that the system is axiomatizable.
аксиоматизируемая система
Математик доказал, что система аксиоматизируемая.
axiomatizable set
The axiomatizable set includes all necessary principles.
аксиоматизируемое множество
Аксиоматизируемое множество включает все необходимые принципы.
axiomatizable class
The axiomatizable class was defined in the latest research paper.
аксиоматизируемый класс
В последней научной работе был определён аксиоматизируемый класс.
axiomatizable framework
They worked on creating an axiomatizable framework for their project.
аксиоматизируемая структура
Они работали над созданием аксиоматизируемой структуры для своего проекта.