不可定义性相关论文
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价。在此基础上,推广塔斯基的不......
翻译是最普通的概念,但却是最不清楚的概念。到目前为止,翻译界对翻译本质问题仍没有一个令人满意的答案,翻译本质仍处于被遮蔽之......
塔斯基的不一致性论证表明自然语言由于蕴涵说谎者悖论而是不一致的。索姆斯认为塔斯基的论证不仅证明了自然语言的不一致性还表明......