可替代的集合论

✍ dations ◷ 2025-11-28 19:25:17 #可替代的集合论

一般来讲，可替代的集合论（an alternative set theory）是指建立集合概念的其它数学方法。它的正是作为标准集合论的替代而出现的。

一些可替代的集合论：

狭义地，可替代集合论（the Alternative Set Theory，AST）是指一种具体的集合论，它是在70年代至80年代之间由Petr Vopěnka和他的学生所发展的。此理论建立于半集合理论的某些想法上，但也引入了更加激进的改变：例如，在 AST 中所有集合都是“形式上”有限的，也就是说关于集合公式的数学归纳法成立（更精确地说，AST 中只和集合有关的那些公理，和ZF集合论是等价的。其中，无穷公理被它的否命题取代了）。但是这些形式上有限的集合中，有一些包含了不是集合的子类，这使之与康托所定义的有限集（ZF的有限集）有所不同。这些子类称作AST中的无穷集（尽管一些是"非标准有限的"而外在的实际上无限的，还有甚至类可以内在的是无限的）。

相关

国际护理协会国际护士理事会（International Council of Nurses、缩写ICN）是一个代表世界各地130多个国家护士协会共超过13万名护士的组织。国际护士理事会在1899年成立，是历史甚久并涵盖范
多纳托·伯拉孟特多纳托·伯拉孟特（意大利语：Donato Bramante，约1444年－1514年3月11日）是意大利文艺复兴时期著名的建筑师,他将古罗马建筑转化为文艺复兴时期的建筑语言，在当时就被视为极富影响力
缨鳃虫目见内文缨鳃虫目（学名：Sabellida）是环节动物多毛纲之下的一个目。本目物种皆为滤食性动物，没有口器。其口前叶已跟围口节（英语：peristomium）融合，还有一环羽毛状的觅食触手。生活于
智能售货机智能贩卖机（英语：Smart Vending Machines，日语：スマート自贩机，次世代自贩机）是新一代的自动贩卖机，属于物联网之一。智能售卖机基于传统自动贩卖机作出改良，加入多种新科技元素如云
出口王仁三郎出口王仁三郎（1871年8月27日－1948年1月19日）是日本的一位宗教家，为新兴宗教大本教的圣师。他为大本教教义的整理和发展做出了巨大贡献，是大本教实质上的创始人。原名上田喜三郎（う
付华付华（1962年12月－）辽宁康平人，中国共产党及中华人民共和国官员。付华是博士。1987年8月在国家档案局《档案工作》杂志社参加工作，1998年11月加入中国共产党。历任《中国档案》杂
诺耶米·梅兰特诺耶米·梅兰特（法语：Noémie Merlant，1988年11月27日－），是一位法国女演员。1988年出生于法国巴黎，并在勒泽度过了青少年时期。梅兰特的父母都是地产经纪。她很小的时候就学习唱歌
A3高速公路 (瑞士)A3高速公路（德语：Autobahn 3、法语：Autoroute A3、意大利语：Autostrada A3），是瑞士一条高速公路，西北起接壤法国边境的巴塞尔（A35高速公路），向东南斜贯全境，经过苏黎世，至默尔斯，并入A13高速公路。全长180公里。公路1967年首段通车，2009年利马特谷立交与南苏黎世之间的绕道（A3w）通车，另有A1h支线。是欧洲E25和E60公路的一部分。
友谊勋章友谊勋章是中华人民共和国政府颁发的一种国家勋章，授予的对象是外国政要、国际友人或其他外籍人士，于2016年1月1日起启用，是全国人民代表大会常务委员会决定设立的国家勋章之一，由中华人民共和国主席向友谊勋章获得者授予勋章及签发证书。“友谊勋章”章体以金色、蓝色为主色调，采用和平鸽、地球、握手、荷花等元素，章链采用中国结、万年青、牡丹花、玉璧、兰草等元素，整体采用花丝镶嵌、掐丝珐琅等传统工艺手工制作。设计制作象征中国人民同各国人民友好团结、友谊长存，祝愿世界各国共同繁荣发展。友谊勋章根据2015年12月27日
AppArmorAppArmor （“Application Armor”，意为“应用盔甲”）是一个Linux内核安全模块，允许系统管理员通过每个程序的配置文件限制程序的功能。如它的帮助页面所说，“AppArmor 是一个对内核的增强工具，将程序限制在一个有限的资源集合中。AppArmor 独特的安全模型将对访问属性的控制绑定到程序而非用户。” AppArmor 通过提供强制访问控制（MAC）来补充传统的Unix自主访问控制（DAC）模型。从Linux内核的2.6.36版本开始，它已经被包含在主流分支中，并且自200