6.6 推理系统的正确性证明