要判定一个命题是真命题，往往需要从命题的条件出发，根据已知的定义、公理、定理一步一步推得结论成立．这样的推理过程叫做_______．