个人观点 从一个特定的角度来看，我们可以认为数学逻辑是基于语言和符号系统共同构建起来的，数学逻辑的普遍真值是受到怀疑的。 数学中的符号和语言可以随时被替换，在一个特定的符号系统中，我们是通过语法规则和公理来确立数学逻辑的基础的，并基于这些规则和公理推导出定理和结论。 但是，在我们明确数学逻辑本质时，我们发现它并不是固有、永恒、不变的，而是依赖于人的自由意志和创造力。 例如，数字1、2、3等等应当是我们人类赋予它们的声音和符号的连结，因此这些符号可以随时被更换或重新定义。 因此，如果我们重新定义符号的意义，那么原本的数学逻辑也会随之改变。 举个例子，如果我们将“+”代表“-”，那么原本的1+2=3的算式结果就会变成1+2=-1 所以1+2=4也成立，因为4只有4的声音，它可以代表3的意思。倒不是说这种除过声音之下的底层运算逻辑有多么的亘古不变。这种逻辑也是可以变的，当+代表-的意义时，这个算式的意义和结果也要被改写。 总的来说，数学逻辑的基础构建在人类所定义的符号和语言上，而如果我们要改变这些符号及其意义，那么数学逻辑也必然会发生变化。 因此说，我们并不能认为数学逻辑是固有的或普遍不变的，而是与人类可能掌握和定义符号及其语法规则有关。 View quoted note →