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

中文解释

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