是一个最基本的命题或假设,不能被省略或删除,也不能被违反。在物理学中,第一性原理或称从头算,指从基本的物理学定律出发,不外加假设与经验拟合的推导与计算。例如利用薛定谔方程在一些近似方法下解电子结构,但不从实验数据得到拟合参数的从头计算法。
公理逻辑
在传统逻辑中,公理是没有经过证明,但被当作不证自明的一个命题。因此,其真实性被视为是理所当然的,且被当做演绎及推论其他事实的起点。当不断要求证明时,因果关系毕竟不能无限地追溯,而需停止于无需证明的公理。通常公理都很简单,且符合直觉,如“a+b=b+a”。
不同的系统,会预计不同的公理。例如非欧几何的公理,和欧氏几何的公理就有一点不同;另外,集合论的选择公理在许多系统的建构中,也富有争议。
有些系统坚持不预设选择公理。也有一些数学家在建构系统时,刻意排除掉皮亚诺公理中的数学归纳法,以确保所有的证明,都可以直接演算。
在数学中,公理这一词被用于两种相关但相异的意思之下——逻辑公理和非逻辑公理。在这两种意义之下,公理都是用来推导其他命题的起点。
和定理不同,一个公理不能被其他公理推导出来,否则它就不是起点本身,而是能够从起点得出的某种结果—可以干脆被归为定理了。
上一篇:求一些简单好听的钢琴曲谱