ru

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

en

Übersetzung von "аксиоматизируемость" ins Englisch

аксиоматизируемость
Substantiv
raiting
Основная форма
/ɐ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
raiting
Основная форма
/ɐksʲɪəmətʲɪzʲɪˈrujɪməsʲtʲ/
Основная форма
/ɐksʲɪəmətʲɪzʲɪˈrujɪməsʲtʲ/
Свойство области знания, теории или модели, заключающееся в возможности быть описанной посредством системы аксиом.
Аксиоматизируемость теории множеств обсуждается в современной логике.