当然是定理。

定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。公理是不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题，经过人类长期反复实践的考验，不需要再加证明的命题。