【摘 要】
：
直觉主义集合论建立在直觉主义而不是经典逻辑之上,因此表现了一种基于直觉主义逻辑的、在其中编码和研究数学的自然环境。作为直觉主义集合论中的典型代表,直觉主义策梅洛-
论文部分内容阅读
直觉主义集合论建立在直觉主义而不是经典逻辑之上,因此表现了一种基于直觉主义逻辑的、在其中编码和研究数学的自然环境。作为直觉主义集合论中的典型代表,直觉主义策梅洛-弗兰克尔集合论是建立在直觉主义逻辑上的策梅洛-弗兰克尔形式的公理化集合论,它基于仅以二元谓词符号"属于"作为其非逻辑符号的一阶语言,在带等词加上二元谓词符号"属于"的直觉主义一阶逻辑基础上公式化。因为对于直觉主义逻辑的承诺和对经典传统的背离,直觉主义集合论在集合论的性质、公理准则的选取和公理系统的建构上有其独特性。而为了更加深入精确地研究直觉主义集合论,需要用到大量的证明论和语义学技术。
其他文献
客流量的快速增长给北京地铁带来了巨大的组织管控压力。目前北京地铁的客运状态虽能满足日常基本要求,但已存在运输能力缺口。近年来,学者们在地铁设备设施改进、列车调度、
对当前我国高校工商管理专业的办学现状进行分析,并结合学生就业现状及原因进行分析,对工商管理专业特色办学进行探讨,提出吸收中国古代文化精华及专业品牌建设等的创新办学
4月8日华润医疗集团有限公司（以下简称“华润医疗”）与凤凰医疗集团有限公司（以下简称“凤凰医疗”）宣布联合，就资产与股权交易签署条款书。交易完成后，华润医疗将成为凤凰医疗单一
<正>《曹刿论战》是《左传》中的名篇。其记载的齐鲁长勺之战是我国历史上以小胜大、以弱胜强的著名战例。弱小的鲁国能战胜强大的齐国,其功首推曹刿。曹刿的取胜之道就是"知
工厂化养猪的成本核算与会计程序吴兴振，李瑞明（辽宁省马三家机械化养猪试验场沈阳，１１０１４５）工厂化养猪成本核算是指对工厂化养猪生产费用的发生和产品成本形成的核算。它是成本管理的重
针对西方传统的线性透视——焦点透视法的出现时间,提出并论述了我国在盛唐时期(公元713年左右)和中唐期间,敦煌壁画莫高窟、榆林窟同样出现了焦点透视法,足足比西方早700年
科技日报上海11月5日电（记者付丽丽）今天，记者从上海北斗卫星导航平台有限公司获悉，由我国自主研发、独立运行的北斗卫星导航系统首次应用在智能汽车上，这是北斗导航民用化的重要
自改革开放以来,我国医疗事业在取得显著成就的同时,各种问题也相伴而生。假劣药屡禁不止、药价虚高、医药商业贿赂蔓延以及医药以药养医等层出不穷。其中的原因主要包括我国
近年来,国内环境污染事故频繁发生,由此引发的环境损害问题日益严重。环境损害鉴定评估是中国推行的一项应对环境污染损害的重要环保举措,而基线则是确定损害的关键。基线确