社科联简介
黑龙江省社会科学界联合会，简称黑龙江省社科联，成立于1958年，是中共黑龙江省委和黑龙江省人民政府领导下的学术性人民团体，是由黑龙江省社会科学性质的部门和省级各学会、协会、研究会以及各市、地、
...
核心期刊
中文核心期刊(2014)
中文核心期刊(2011)
中文核心期刊(2008)
中文核心期刊(2004)
中文核心期刊(2000)
中文核心期刊(1996)
中文核心期刊(1992)
中文核心期刊(2011)
中文核心期刊(2008)
中文核心期刊(2004)
中文核心期刊(2000)
中文核心期刊(1996)
中文核心期刊(1992)
直觉主义集合论的主要特征
作者: 韦雷雷
关键词: 直觉主义集合论 策梅洛-弗兰克尔 IZF 公理 证明论 语义学
摘要：
直觉主义集合论建立在直觉主义而不是经典逻辑之上,因此表现了一种基于直觉主义逻辑的、在其中编码和研究数学的自然环境.作为直觉主义集合论中的典型代表,直觉主义策梅洛-弗兰克尔集合论是建立在直觉主义逻辑上的策梅洛-弗兰克尔形式的公理化集合论,它基于仅以二元谓词符号"属于"作为其非逻辑符号的一阶语言,在带等词加上二元谓词符号"属于"的直觉主义一阶逻辑基础上公式化.因为对于直觉主义逻辑的承诺和对经典传统的背离,直觉主义集合论在集合论的性质、公理准则的选取和公理系统的建构上有其独特性.而为了更加深入精确地研究直觉主义集合论,需要用到大量的证明论和语义学技术.
上一篇： 行政诉讼中民生权利救济问题探讨
下一篇： 精神分析理论的三个偏颇——德勒兹的一种批判性分析