是的，定理不是公理，但两者都是命题。具体区别如下：
定义与分类 公理：
是数学中不需要证明的基本事实，通常基于人类理性或长期实践的公认性，例如“两点确定一条直线”。 - 定理：是通过逻辑推理和证明得出的真命题，例如勾股定理（$a^2 + b^2 = c^2$）。
证明与接受度
公理无需证明，直接作为推理的起点；
定理必须通过严格的证明过程，且可能随着新证明被推翻或修正。
关系与层级
公理是定理的基础，而定理可以基于公理或其他已证明的定理推导出来；
存在既非公理也非定理的真命题，例如“所有偶数都是整数”（定义）。
总结：公理和定理都是命题，但公理是无需证明的起点，而定理是经证明的结论。