任何一个理论体系中都会有公理和定理的，一个理论体系中的公理是不用通过证明或直接的验证验证而大家都承认的理论，它们大多数是简单的，例如过两点有且只有一条直线、能量守恒定律等。公理的数量在理论体系中很少，它们的正确与否要看由它们推出的各种结论能否与事实相符，而由公理推导出的就是定理，例如由能量守恒定律推导出的动能定理就是定理。
