Hotmath
数学作业。做得更快,学得更好。

公理

一个公理是一个数学命题,它作为一个起点,从这个起点可以逻辑地推导出其他命题。

公理不能导出或证明;它们在逻辑上不是从其他任何东西推导出来的(否则,它们就会被称为定理。

大多数数学学生听到的第一组公理是欧几里得几何公理,称为欧几里得公设:

  • 从一点到另一点画一条直线是可能的。
  • 在一条直线上连续地产生一条有限直线是可能的。
  • 画一个有任何圆心和半径的圆是可能的。
  • 所有的直角都是相等的,这是真的。
  • 如果一条落在两条直线上的直线,其同边的内角小于两个角,那么这两条直线,如果无穷延伸,必定会在其夹角小于两个直角的那一边相交。