定理应该通过纯粹的逻辑的推导而从公理演绎得到.用英语怎么说？

定理应该通过纯粹的逻辑的推导而从公理演绎得到.

The theorems should be deduced from axioms by purely logical arguments.

the

art. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；

例句
He did have a real knowledge of the country...
他对该国的确知之甚多。

theorems

n. （尤指数学）定理( theorem的名词复数 )，命题，原理，原则；

例句
The theorems should be deduced from axioms by purely logical arguments.
定理应该通过纯粹的逻辑的推导而从公理演绎得到.

should

应该，将会，可能，本应；

例句
The older child should be able to prepare a simple meal...
那个年纪稍大的孩子应当会做一顿简单的饭菜。

be

v. 是，有，存在，做，成为，发生；aux. 用来表示某人或某物即主语本身，用来表示某人或某物属于某一群体或有某种性质；

例句
The older child should be able to prepare a simple meal...
那个年纪稍大的孩子应当会做一顿简单的饭菜。

deduced

v. 推论，演绎( deduce的过去式和过去分词 )；

例句
He deduced that the two children belonged to the couple.
他推断这俩小孩是这对夫妇的。

from

prep. （表示时间）从…，（表示原因）因为，（表示来源）来自…，（表示分离）与…分离[隔开]；

例句
...an abortive attempt to prevent the current President from taking office.
企图阻止现任总统连任的失败尝试

axioms

n. 公理( axiom的名词复数 )，自明之理，原理，格言；

例句
The axioms adopted by Euelid mere supposed to be self - evident truths.
欧几里德用的公理都应看作是不证自明的真理.

by

prep. 在…旁边，表示方式，由于，经过；adv. 经过，表示保留或保存时用，短暂拜访；

例句
...expensive make-up that we saw being advertised by a beautiful model...
我们所见的由一位漂亮模特代言的昂贵化妆品

purely

adv. 完全地，十足地，纯粹地，纯洁地，贞淑地；

例句
Such is the size of the problem that these arguments are purely academic.
问题的实情在于这些论点纯属空谈。

logical

adj. 逻辑（上）的，符合逻辑的，推理正确的，合乎常理的；

例句
The logical treatment is to remove this blockage.
合理的治疗方法就是清除堵塞物。

arguments

n. 争论( argument的名词复数 )，争吵，说理，论据；

例句
Such is the size of the problem that these arguments are purely academic.
问题的实情在于这些论点纯属空谈。