不是所有的定律、定理都可以从直接的实践中得到证明,所以逻辑证明也是检验认识真...