数学证明与制约推理

论述数学证明与制约推理的关系。指出重言式不是推理式,制约逻辑是从已知进入未知的推理论证工具。