Nonderivability

Translation of "nonderivability" into Russian

Noun

nonderivability

The nonderivability of certain axioms is a topic of interest in mathematical logic.

Невыводимость некоторых аксиом является темой интереса в математической логике.

Noun

The quality or state of being unable to be derived or deduced from something else.

The nonderivability of the theorem made it a unique challenge for mathematicians.

proof of nonderivability

The proof of nonderivability was complex and required advanced logic.

доказательство недоказуемости

Доказательство недоказуемости было сложным и требовало использования продвинутой логики.

criterion for nonderivability

The new criterion for nonderivability helped clarify several open questions.

критерий недоказуемости

Новый критерий недоказуемости помог прояснить несколько открытых вопросов.

demonstration of nonderivability

The demonstration of nonderivability convinced the entire panel of experts.

демонстрация недоказуемости

Демонстрация недоказуемости убедила всю группу экспертов.

question of nonderivability

The question of nonderivability remains central in mathematical logic.

вопрос недоказуемости

Вопрос недоказуемости остаётся центральным в математической логике.

theorem of nonderivability

She cited a famous theorem of nonderivability in her dissertation.

теорема о недоказуемости

В своей диссертации она сослалась на известную теорему о недоказуемости.