人的实践活动经过无数次的重复，把实践的规律印入人脑，经过思维的抽象、提炼和概括，内化为思维的规律，成为思维的逻辑。再用“逻辑的格”把它固定下来，就成为人的逻辑证明的有效工具，并逐步具有了公理的性质。