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

不等量公理  公理化方法  公有公理，婆有婆理  皮亚诺公理  祖氏公理