It does not suffice to grind away, mechanically deducing all the possible consequences of a fixed number of basic principles.

• 光是埋头苦干，从固定几个基本原理机械性地推导出所有可能的定理，是远远不够的。