1. (2022·榆次模拟) 公元前3世纪，古希腊数学家欧几里得编写了《几何原本》．他在编写这本书时挑选一部分数学名词和公认的真命题（即公理）作为证实其他命题的出发点和依据，除公理外，其他命题的真假都需要通过演绎推理的方法进行判断，在此基础上，逐渐形成了一种重要的数学思想，这种思想是（   ）