Аксиоматизирование

Translation of "аксиоматизирование" into English

Noun

Научный термин; обычно употребляется в логике, математике и методологии науки.

The process of expressing a theory, system of knowledge, or construction in axiomatic form.

Аксиоматизирование теории позволило вывести все её следствия из небольшого числа аксиом.

The axiomatization of the theory made it possible to derive all its consequences from a small number of axioms.

Additional translations

axiomatisation

British spelling.

Noun

Процесс аксиоматизировать; приведение теории, системы знаний или построения к аксиоматической форме.

Аксиоматизирование теории позволило вывести все её следствия из небольшого числа аксиом.