词语解释：①经过人类长期反复实践的考验，不需要再加证明的命题，如：如果A=B,B=C，则A=C。②社会上多数人公认的正确道理。
词语解释：已经证明具有正确性、可以作为原则或规律的命题或公式，如几何定理。