The theorems should be deduced from axioms by purely logical arguments.
定理应该通过纯粹的逻辑的推导而从公理演绎得到.
相关词汇
theart. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；
theoremsn. （尤指数学）定理( theorem的名词复数 )，命题，原理，原则；
bev. 是，有，存在，做，成为，发生；aux. 用来表示某人或某物即主语本身，用来表示某人或某物属于某一群体或有某种性质；
deducedv. 推论，演绎( deduce的过去式和过去分词 )；
fromprep. （表示时间）从…，（表示原因）因为，（表示来源）来自…，（表示分离）与…分离[隔开]；
axiomsn. 公理( axiom的名词复数 )，自明之理，原理，格言；
byprep. 在…旁边，表示方式，由于，经过；adv. 经过，表示保留或保存时用，短暂拜访；
purelyadv. 完全地，十足地，纯粹地，纯洁地，贞淑地；
logicaladj. 逻辑（上）的，符合逻辑的，推理正确的，合乎常理的；