derivability
Can be inferred
Derivability is the quality of being derivable—capable of being obtained, deduced, or traced from a source.
In logic and mathematics, derivability refers to whether a statement can be proven from axioms using formal rules: The derivability of the theorem from first principles took years to establish.
More broadly, it describes how readily something can be extracted or inferred from existing material.
Demonstrated logical conclusion
- lemmaBase form, or helper theorem
- corollaryLogical natural consequence
- conjectureGuess from limited facts
- proofDemonstration of truth
axiom · induction · recursion · formalism · completeness · incompleteness · consistency · decidability
Finite problem-solving procedure
- computabilityAlgorithmic solvability of problems
- decidabilityAlgorithmic resolution capability
- recursiveDefined in terms of itself
- enumerableCapable of being counted
complexity · tractability · reducibility · grammar · automaton · generative · parsing
Smallest meaningful language unit
- affixWord-part modifier
- suffixWord-ending addition
- prefixRoot-modifying front element
- rootUnderground absorbing structure
stem · productive · inflection · conjugation · declension · etymology · neologism · compound
theorem
Demonstrated logical conclusion
- lemmaBase form, or helper theorem
- corollaryLogical natural consequence
- conjectureGuess from limited facts
proof · axiom · induction · recursion · formalism · completeness · incompleteness · consistency · decidability · computability
algorithm
Finite problem-solving procedure
- computabilityAlgorithmic solvability of problems
- decidabilityAlgorithmic resolution capability
- recursiveDefined in terms of itself
enumerable · complexity · tractability · reducibility · grammar · automaton · generative · parsing
morpheme
Smallest meaningful language unit
root · stem · productive · inflection · conjugation · declension · etymology · neologism · compound · morphological
derivabilityprimitiveness
Undeveloped, basic quality
independence · self-evidence · irreducibility · postulation · givenness
derivabilityinscrutability
Impossible to understand
ineffability · unknowability · inexplicability · intuitiveness · immediacy
derive, derived, derivative, derivation, deriving, derives, derivable, derivational, derivatives