只是内部要自恰，在体系内部推导、证明时要坚持假定。

一个公理假设系统可能适用于某种实际（如物理）应用领域，不适用于另一种实际应用领域；另一种实际领域，可能需要另一套公理数学系统去计算和预测。