数学已有证明，真的概念不可定义。
说下我的理解。
先看假言判断：
p—>q
若a=x，则a=a，x=x
若未知与已知重合，则对象是其本身。
若一个知识刚好表达对象本身，则有真理。
刚好：不多不少的完备。这里的多少大约应当是指状态数或步数。刚好不同于显然、仅当、当且仅当等概念。
如果不是刚好，那么意义的天平就倾斜了，就有了价值（应当/竞争）。
“刚好”可能是一个重要的数学概念，它的价值一直被埋没着。——这里说到价值，即表示意义有欠缺或者有冗余，刚好不是刚好本身，所以这里没有真理。
猜想：真理的价值为零；或者说，无价值处有真理——该处信息量为零，知识完备，能量无用。
一个对象的存在若被我们对它的描述所蕴含，则有真理。
蕴含：当且仅当后件存在，前件作为后件的子集，直接获得存在。
存在=存在的意义，有真理。
物自身=物，有真理。
真理不是物（知识），也不是物自身（知识所表达的），而是知识与物自身对称。
对称：互异，双射，子集相同。
若符号和信源对称，有真理。
如果将知识（符号）和物自身（信源）称为“双方”，那么真理是第三方。
真理是特殊的第三方，也许是规范场，也许是元协议。
元：自指，除了自我干涉不干别的事；循环；递归；超序。
塔斯基不可定义定理：世上没有任何直译语言足以表达出它本身的语义。
a语言如何表达自身？引入b语言。而b语言又如何表达自身？引入c语言。形成套娃。
所以我们需要真——a直接就是a本身，来取得表达（知识映射对象）在有限步数内的确定性和一致性。
并且真本身必须不可定义——我们通常所说的真值、真命题的真只是真的符号——因为定义真需要借助非真，或者对真进行分类，又要套娃。
有真，真是存在的，就刚好。
猜想：信息和价值是不可能完全消除的，能量总是有用的。
