-
Englisch
-
Russisch
-
Deutsch
-
Englisch
-
Russisch
-
Deutsch
Доказуемость
Übersetzung von "доказуемость" ins Englisch
доказуемость
Substantiv
Основная форма
/dəkɐˈzujɪməstʲ/
Основная форма
/dəkɐˈzujɪməstʲ/
доказуемость
доказуемости
доказуемостью
Абстрактное существительное; употребляется только в единственном числе.
Доказуемость теоремы была подтверждена.
The provability of the theorem was confirmed.
Definitionen
доказуемость
Substantiv
Основная форма
/dəkɐˈzujɪməstʲ/
Основная форма
/dəkɐˈzujɪməstʲ/
Способность утверждения, гипотезы или теории быть логически обоснованной и подтверждённой доказательствами.
Доказуемость гипотезы зависит от строгости приведённых аргументов.
(логика, матем.) Свойство высказывания, заключающееся в существовании формального доказательства его истинности в заданной аксиоматической системе.
Теорема о полноте устанавливает доказуемость всех общезначимых формул в классическом исчислении предикатов.
Redewendungen und Phrasen
доказуемость теоремы
Доказуемость теоремы является ключевым аспектом в математике.
provability of a theorem
The provability of a theorem is a key aspect in mathematics.
доказуемость гипотезы
Доказуемость гипотезы требует тщательного анализа.
provability of a hypothesis
The provability of a hypothesis requires thorough analysis.
доказуемость утверждения
Учёный поставил под сомнение доказуемость этого утверждения.
provability of a statement
The scientist questioned the provability of this statement.
доказуемость предположения
Доказуемость предположения должна быть проверена экспериментально.
provability of an assumption
The provability of an assumption must be tested experimentally.
доказуемость аксиомы
Доказуемость аксиомы часто принимается как данное в логике.
provability of an axiom
The provability of an axiom is often taken for granted in logic.