-
English
-
Russian
-
German
-
English
-
Russian
-
German
Derivability
Translation of "derivability" into Russian
derivability
Noun
UK
/ˌdɛrɪˈvæbɪlɪti/
US
/ˌdɛrɪˈvæbɪlɪti/
derivability
derivabilities pl
The derivability of the theorem was proven by the mathematician.
Выводимость теоремы была доказана математиком.
Definitions
derivability
Noun
UK
/ˌdɛrɪˈvæbɪlɪti/
US
/ˌdɛrɪˈvæbɪlɪti/
The quality or state of being derivable; the ability to be derived or obtained from something else.
The derivability of the theorem was confirmed through a series of logical deductions.
In formal logic and mathematics, the property of a statement or formula of being provable or deducible from a given set of axioms and inference rules.
Gödel’s completeness theorem addresses the derivability of every logically valid sentence in first-order logic.