杂事实的真实性依赖于对基本假定的承认。然而，若舍弃第五公设，则可以得到有更多内容的理论，如双曲几何。我们只需要准备以更弹性的方式来使用「线」和「平行」等术语。双曲几何的发展教导了数学家们公设应该被视为单纯的形式陈述，而不是基于经验的事实。当数学家使用体的公理时，其含义甚至变得更加地抽象了。体论的命题没有关注于任一特定的应用上；数学家现在于完全的抽象化上工作着。体有许多的例子；而体论可以给出对所有这些例子适用的正确知识。说体论的公理是「被视为不证自明的命题」是不正确的。实际上，体的公理是一套侷限。若任