古人创造数学这门语言的目的，是尝试描述藏在世界背后的真相并获得实用价值，但是，人类最后能否找到这种真相，或是精确描述该真相，却和我们运用的语言本身的严谨与否，没有直接关系。

因而，数学中那些看上去天经地义不可置疑的东西（比如三角形任意两边之和大于第三边），并非新增了某个关于世界的事实，而只是换了一种说法（任意两边之和大于第三边其实就包含在对三角形的定义中）。