几何学小课堂：几何学公理化体系(逻辑是从一个结论通向另一个结论唯一的通道)

Posted 2023-03-08 iOS逆向

文章目录

• 引言
• I 几何学公理化体系
• • 1.1 构建公理化的几何学过程
  • 1.2 五条一般性的概念
  • 1.3 五条几何学公设
  • 1.4 学习几何的正确方式
• II 对顶角相等
• • 2.1 对顶角的定义
  • 2.2 垂直的定义
  • 2.3 直角的定义
  • 2.4 证明“对顶角相等”
  • 2.5 虚与实的关系
• III 内错角相等
• • 3.1 使用的定理
  • 3.2 证明内错角相等

引言

公理：如果一个结论实在找不到根据，它似乎又是符合事实的。

不证自明的，或者说无法证明的。
定理：如果是能够从其它公理推导出来的结论
未经审视的人生没有价值，未经逻辑检验的结论，价值也不大。

数学家恩诺皮德斯指出一般性问题和定理的区别：</