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

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