公式的近义词

定理   dìng lǐ （名）已经证明具有正确性、可以作为原则或规律的命题或公式。
公理   gōng lǐ （名）多数人公认的正确道理：～必然战胜强权。