真理论悖论相关论文
塔斯基算术真之不可定义性定理可表述为:丰富到足以包含算术的一阶语言不可能包含它自身的满足T—模式的真谓词,其证明的基本思想是......
"真"这个词有谓词和算子两种用法,它们既有联系又有区别。"真"在概括中的用法是其谓词用法,而在T-模式中的用法是其算子用法。两种......