真谓词的一个新模式

作者：熊明哥德尔不完全性定理谓词形式语言不可定义塔斯基算术语句

摘要：受哥德尔不完全性定理的启示，塔斯基提出了著名的算术真之不可定义性定理（常称为“塔斯基定理”）：任何一个形式语言，如果它丰富到足以包含算术，那么就不可能包含这样一个谓词T，使得模式“T“A”，当且仅当A”对这个语言中的任何语句A都成立。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社