公理

经过人类长期反复实践的检验，不需要再加证明的命题，如：如果A=B，B=C，则A=C；社会上多数人公认的正确道理。