在证题过程中,对已学过的公理、定义、定理,可用来作为推理的依据是()