不可定义性相关论文
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价。在此基础上,推广塔斯基的不......
本文将摩尔的善论概括为三个部分:善的本性、善的分类和善的选择。在此基础上,对摩尔善论的理论得失作出了简要分析,并对学术界关......
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价。在此基础上,推广塔斯基的不......
塔斯基的不一致性论证表明自然语言由于蕴涵说谎者悖论而是不一致的。索姆斯认为塔斯基的论证不仅证明了自然语言的不一致性还表明......
