定义：人根据某些基础条件给出的一个概念，不需要证明，一般格式为“什么是什么”

公理：人为的根据某一领域的学科基础，给出一个公认的规律，不需要证明。一般来说在一个领域内公理都很少而且很基础。

定理：根据定义和公理得到的推论。需要证明。一般来说同一领域内有无数的定理，有些定理应用范围很广而很出名，有些定理相对应用范围小。