显而易见，无需证明，由实践得出的结论。
公理是推导其它定理的起点，是数学大厦的基石，因此公理不能被其它公理推导出来。

由公理推导出来的,也可以说是公理的推论,是需要经过受逻辑限制的证明的。

根据公理或定理推导出来的真命题，属于定理和公理的延伸。

是为证明某个定理要用到的命题。引理和定理没有严格的区分，如果论证某个定理时，还没有直接根据，
需要某些还没有被证明的结论，把它提出来加以证明，就是所谓的构造引理。