急,定理是从公理或其他真命题出发,用逻辑推理的方法判断得到的(