deducibility

(名词) 可推导性

数学家严格证明了该定理从公理的可推导性。

(sustantivo) La condición de ser deducible.

La deducibilidad del teorema a partir de los axiomas fue demostrada rigurosamente por el matemático.

(nom) déductibilité [Le caractère de ce qui peut être déduit logiquement à partir de prémisses établies.]

La deducibility du théorème à partir des axiomes a été rigoureusement démontrée par le mathématicien.

(Substantiv) Ableitbarkeit; Deduzierbarkeit [Die Eigenschaft oder der Zustand, logisch aus gegebenen Prämissen oder Annahmen abgeleitet werden zu können.]

Die **Deducibility** des Theorems aus den Axiomen wurde vom Mathematiker streng bewiesen.

(名詞) 前提や公理から論理的結論を導き出せる状態であること。

その定理が公理から演繹可能であることは、数学者によって厳密に証明された。

(substantivo) dedutibilidade [A condição de ser dedutível.]

A dedutibilidade do teorema a partir dos axiomas foi comprovada rigorosamente pelo matemático.