我们把不能证明的原理称为公理，比如算术中“等量减等量差也为等量”就是公理。