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

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

Substantiv

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

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.

Weitere Übersetzungen

axiomatisation

British spelling.

Substantiv

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

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