如果一个公理(欧氏几何)能用其他几个公理证明(证明无误,不用定理),这个命题能否称之为公理?
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/06/24 16:44:48
如果一个公理(欧氏几何)能用其他几个公理证明(证明无误,不用定理),这个命题能否称之为公理?
如题.
还要用必要的代数知识。如:HL公理可用SAS,ASA,SSS证明
如题.
还要用必要的代数知识。如:HL公理可用SAS,ASA,SSS证明
![如果一个公理(欧氏几何)能用其他几个公理证明(证明无误,不用定理),这个命题能否称之为公理?](/uploads/image/z/6596140-4-0.jpg?t=%E5%A6%82%E6%9E%9C%E4%B8%80%E4%B8%AA%E5%85%AC%E7%90%86%EF%BC%88%E6%AC%A7%E6%B0%8F%E5%87%A0%E4%BD%95%EF%BC%89%E8%83%BD%E7%94%A8%E5%85%B6%E4%BB%96%E5%87%A0%E4%B8%AA%E5%85%AC%E7%90%86%E8%AF%81%E6%98%8E%EF%BC%88%E8%AF%81%E6%98%8E%E6%97%A0%E8%AF%AF%2C%E4%B8%8D%E7%94%A8%E5%AE%9A%E7%90%86%EF%BC%89%2C%E8%BF%99%E4%B8%AA%E5%91%BD%E9%A2%98%E8%83%BD%E5%90%A6%E7%A7%B0%E4%B9%8B%E4%B8%BA%E5%85%AC%E7%90%86%3F)
你所问的是有关公理体系的问题.
所谓公理体系是指某一个学科的基本假设,比如,欧氏几何的公理体系就是它的5个基本公设,其中的第5公设——也就是平行公设——在非平面几何中存在矛盾,但欧几里德本人似乎也意识到该公设的不完备性,就连自己证明定理时也都尽量避免使用它.
在某一学科的公理体系中,公理都是不证自明,不需要规范,不需要制定的.体系内部的各公理之间不存在可以互相证明或证伪的关系,它们对整个学科形成都是充分且必要的.在公理的基础上制定的命题称为定理.
当然,对于某个形式系统而言,公理体系也并非完备的,在这个系统中总是存在着既不能被证明也不能被证伪的不可判定命题.如果将这个不可判定的陈述作为一条公理添加到系统中,则新的系统仍然存在着它自己的不可判定陈述.这就是哥德尔不完备性定理的全部内容.
P.S. 如果你对数学研究感兴趣,推荐你看哥德尔早期的著作.逻辑是做一切科学研究的基础.
所谓公理体系是指某一个学科的基本假设,比如,欧氏几何的公理体系就是它的5个基本公设,其中的第5公设——也就是平行公设——在非平面几何中存在矛盾,但欧几里德本人似乎也意识到该公设的不完备性,就连自己证明定理时也都尽量避免使用它.
在某一学科的公理体系中,公理都是不证自明,不需要规范,不需要制定的.体系内部的各公理之间不存在可以互相证明或证伪的关系,它们对整个学科形成都是充分且必要的.在公理的基础上制定的命题称为定理.
当然,对于某个形式系统而言,公理体系也并非完备的,在这个系统中总是存在着既不能被证明也不能被证伪的不可判定命题.如果将这个不可判定的陈述作为一条公理添加到系统中,则新的系统仍然存在着它自己的不可判定陈述.这就是哥德尔不完备性定理的全部内容.
P.S. 如果你对数学研究感兴趣,推荐你看哥德尔早期的著作.逻辑是做一切科学研究的基础.