为公认而不可推理得到的属于公理.
定理为承认公理后经行推理得到,而推论有时是定理的特殊情况,与定理并无明显区别.如Banach逆算子定理即为开映像原理的推论,但其本身也被称为定理.