derivability

(名词) 可推导性

这些公式从基本公理的可推导性在数学论文中得到了严格证明。

(sustantivo) La condición de ser derivable

La derivabilidad de estas fórmulas a partir de axiomas básicos fue demostrada rigurosamente en el artículo matemático.

(nom) dérivabilité; déductibilité [Caractère de ce qui peut être dérivé, déduit ou tiré à partir d'autre chose.]

La dérivabilité de ces formules à partir des axiomes fondamentaux a été rigoureusement démontrée dans l'article mathématique.

(Substantiv) **Derivierbarkeit** *Substantiv, f* – Die Eigenschaft, aus bestimmten Grundlagen (z. B. Axiomen) logisch oder mathematisch abgeleitet werden zu können.

Die **Derivierbarkeit** dieser Formeln aus den Grundaxiomen wurde in der mathematischen Arbeit streng bewiesen.

(名詞) 導出可能であること。

これらの公式が基本的な公理から持つ **derivability** は、数学論文で厳密に証明された。

(substantivo) derivabilidade; dedutibilidade [A condição de poder ser derivado.]

A derivabilidade dessas fórmulas a partir de axiomas básicos foi rigorosamente comprovada no artigo matemático.