證明中從論據到論題的推演。通過推理形式進行，有時是一系列推理形式。因此，{1}必須遵守推理的規則。