Выводимость

Перевод выводимость на английский язык

Существительное

Выводимость теоремы была доказана.

The derivability of the theorem was proven.

Выводимость этого утверждения вызывает сомнения.

The deducibility of this statement is questionable.

Дополнительные переводы

Существительное

Способность быть выведенным, извлечённым или полученным из чего-либо, например, из данных или предпосылок.

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

доказуемая выводимость

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

provable derivability

The provable derivability of the theorem was confirmed.

логическая выводимость

Логическая выводимость этой аксиомы не вызывает сомнений.

logical derivability

The logical derivability of this axiom is beyond doubt.

формальная выводимость

Формальная выводимость формулы была проверена.

formal derivability

The formal derivability of the formula was verified.

теоретическая выводимость

Теоретическая выводимость утверждения была доказана.

theoretical derivability

The theoretical derivability of the statement was proven.

математическая выводимость

Математическая выводимость уравнения неоспорима.

mathematical derivability

The mathematical derivability of the equation is indisputable.