数学是不是真理？

 
从某种角度来看，数学这东西其实挺无聊的。
无聊在，一切都是从定义推导出来的。再奇妙的结论,都归根结底到定义上去，自说自话罢了。
 
举一个简单的结论。
平面内，
一组平行线不相交。
 
这是为什么呢？因为一组平行线的定义是两条不相交的直线。
你既然都叫它平行线了，它当然不相交。

如果存在一组平行线相交了呢？
如果它们相交，那么它们不满足平行线的定义，所以他们就不是平行线。
 
是不是很赖皮？
你一旦承认了平行线的定义，就不得不承认刚刚那个弱智命题。
你能反驳一个定义吗？
 
为了惊世骇俗和特立独行，我决定自己创造一门叫Rlang的语言，在这种语言里,"love"的意思是恨。
你能跑过来说，我的Rlang语说的不对吗？
 
数学是一套自洽的体系。它有自己的一套定义。
不爽不要玩。
但你一旦接受了它的定义，也就接受了整个数学。
 
就像我用Rlang语说话一样，我说"love"表达恨意的时候，你不能反驳我说我误用了"love"。
我用“平行线”表达不相交的直线的时候，你不能反驳我说"他们会相交"。
 
- - -
 
事情到这里已经很明白了。
数学是真理吗？
在数学的话语体系里，数学就是真理。
 
- - -
 
这种真理是怎么来的呢？
a=a
这是真理。
如果我们说，b是a的另一种写法。
那么b=a显然也是真理。
数学?换换写法罢了。
 
这就是数学的奇妙之处，自说自话的无聊数学家可以从简单的定义出发，改写成等价的有用结论。