It can be built up as an exact science by the reasoner.

• 推理法可能被推理学者们逐步树立为一门精密的学科。