Аксиоматизируемость
Übersetzung von "аксиоматизируемость" ins Englisch
аксиоматизируемость
SubstantivОсновная форма
/ɐksʲɪəmətʲɪzʲɪˈrujɪməsʲtʲ/
Основная форма
/ɐksʲɪəmətʲɪzʲɪˈrujɪməsʲtʲ/
аксиоматизируемость
аксиоматизируемости
аксиоматизируемостью
Абстрактное существительное, употребляется только в форме единственного числа.
Аксиоматизируемость теории позволяет формализовать её основные положения.
The axiomatizability of the theory allows formalizing its basic principles.
Definitionen
аксиоматизируемость
SubstantivОсновная форма
/ɐksʲɪəmətʲɪzʲɪˈrujɪməsʲtʲ/
Основная форма
/ɐksʲɪəmətʲɪzʲɪˈrujɪməsʲtʲ/
Свойство области знания, теории или модели, заключающееся в возможности быть описанной посредством системы аксиом.
Аксиоматизируемость теории множеств обсуждается в современной логике.