证明出一个如皮亚诺算术的理论，其相容性在理论本身之内会是一个不可证的断言。相信皮亚诺算术的相容性是合理的，因为它被自然数的系统所满足－一个无限但在直觉上易被接受的形式系统。然而，直到现在，依然没有已知的方法判定集合论中策梅罗-弗兰克尔公理的相容性。选择公理－此理论的关键假定，也依然是一个极具争议的假设。更甚之，利用力迫法的技巧，可以证明连续统假设独立于策梅罗-弗兰克尔公理之外。因此，即使是这种极一般的公理也还不能被视为是数学的决定性基础。
数理逻辑.在数理逻辑里，公理可以清楚地