欧几里得的公理方法

作者：张景中

来源：中学生数理化(七年级数学)(配合人教社教材), 2023, (04): 3.

<正>欧几里得的《原本》,是一个借助演绎推理展开的系统.它从定义、公设、公理出发,一步一步地推证出了丰富多彩的几何定理.欧几里得尽力对每一个几何术语加以定义.例如,他最初的几条定义是:(1)点是没有部分的那种东西.(2)线是没有宽度的长度.(3)直线是同其上各点看齐的线.(4)图形是被一些边界所包含的那种东西他除定义外,又选择了一些不加证明而被承认的命题作为基本命题.他把这些基本命题叫作公理或公设.公理是许多学科都用到的量的关系,如“与同一物相等的一些物,

• 单位
  中国科学院