第一真理是可以由人任意创造的

英国哲学家霍布斯关于推理的观点．霍布斯认为推理就是计算，在进一步研究推理的过程中，他发现所谓的第一真理，也就是人们推理的基础，在某种程度上是可以由人任意约定的．他写道：“理性给与我们的结论不是关于事物本性的，而只是关于指示这些事物的词项的，即是否有一个约定(对于这些词项的意义所做的约定)我们可借以把这些名称结合在一起。”在后期著作中他更有明确的论述：“第一真理是那些首先把名称加在事物上，或者通过加上别的东西而得到这些事物的人所任意创造的。”“第一命题无非是定义或定义的部分，这些命题只是证明的原则，是讲话的创造者任意所构造的真理，因此不需要证明。”霍布斯四十岁以后开始研究几何学，不久就认为自己已经精通了几何学．可能正是通过对欧几里德几何学的考察，霍布斯才得到了上述结论．霍布斯认为欧氏几何的公理应该与物理学定律相区别，物理学定律不是由任意的定义创造的，而是与客观经验紧密相关的。霍布斯的约定主义思想在数学上有着十分大的意义，它是现代约定理论的开端，也使我们更易于理解公理系统的本质。希尔伯特(德国数学家)在《几何学基础，中第一个给出了一个完全形式公理化的欧氏几何系统，其中的语言是完全形式化的，我们可以把其中的“点”、“线”、“面”代之以任意的词项，如“杯子、瓶子、桌子”等，只要其仍符合其中的公理，则仍然不会损害我们对系统的理解，另外，一个公理系统可以选择不同的公理而不会造成任何实质性区别。在这种条件下，对公理的选择可以是任意的，一般的标准只是为了推理的方便和直观上清晰易于理解等方面的考虑．