如题所述
（1）公理，是指依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。
（2）定理，是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。
定理需要某些逻辑框架，继而形成一套公理(公理系统)。同时，一个推理的过程，容许从公理中引出新定理和其他之前发现的定理。在命题逻辑中，所有已证明的叙述都称为定理。
总结就是经过长期实践后公认为正确的命题叫做公理。用推理的方法判断为真的命题叫做定理。