可替代的集合论

✍ dations ◷ 2025-11-23 22:19:45 #可替代的集合论

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

一些可替代的集合论：

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

相关

异丙托溴铵异丙托溴铵（Ipratropium bromide），商品名“Atrovent”，属于一种支气管扩张药。本品通常用于治疗慢性阻塞性肺病（COPD）以及哮喘，通常以吸入剂（英语：metered-dose inhaler）或雾化剂（英语：n
尼科尔夏尔·朱尔·亨利·尼科勒（Charles Jules Henri Nicolle，1866年9月21日－1936年2月28日）是一位法国细菌学家，曾经因为关于辨认出虱子为斑疹伤寒的传染者，而获得1928年诺贝尔生理学
ViSalusViSalus是一家健康保健产品公司。公司主要经营减肥瘦身产品，能量饮料和其他营养保健产品。总公司位于加利福利亚州洛杉矶市和密歇根州特洛伊市。其母公司为布莱思股份有限公
阮祥云阮祥云（Nguyễn Tường Vân, 1980年8月17日－2005年12月2日），澳大利亚籍越南裔青年，出身于墨尔本，他涉嫌偷运毒品进入新加坡而于2005年底被判处死刑。阮祥云与一名双生兄弟（Dang K
张允修张允修（1567年－1644年），字嗣弼，号建初，湖广江陵（今湖北江陵）人，明朝官员。首辅张居正五子，明神宗万历三年（1575年），荫尚宝丞（正五品）。万历十二年（1584年）四月，诏令查抄张居正家产，司礼监太监张
高知市高知市（日语：高知市／こうちし */?）是位于日本四国地方中南部的城市，为高知县县府的所在地，也是四国岛太平洋沿岸的中心城市，是中核市。高知市的历史开始于长宗我部元亲的大高坂
赤松则良赤松则良（日语：赤松則良／あかまつのりよし，1841年12月13日－1920年9月23日），为日本武士、军人、政治人物，曾任贵族院议员，佐世保镇守府第一任司令长官，而荣誉为海军中将从二位勋一等男爵。又名赤松大三郎，昵称“日本造船之父”。赤松则良生于1841年的东京府深川，虽然为御徒士吉泽雄之助次子，则跟祖父姓“赤松”。1857年，入读长崎海军传习所学习航海术。1860年，美日修好通商条约成功签订，幕府决定派一群人前往美国交流，而赤松在一年后入选为留学生。1862年美国爆发南北战争，幕府担心留学生的人
福克兰群岛海战英军胜利福克兰群岛海战（英语：Battle of the Falkland Islands，德语：Seegefecht bei den Falklandinseln）是第一次世界大战期间于1914年12月8日发生在英国皇家海军和德意志帝国海军之间的一场海战，因交战地于南大西洋福克兰群岛一带而得名。在此之前，马克西米利安·冯·施佩伯爵率领的德军东亚分舰队于1914年11月1日在科罗内尔海战中轻松击败了英国西印度分舰队，这是皇家海军近百年来首次战败。舆论哗然之余，恼羞成怒的英国海军部迅速派遣大量增援兵力以对付
刘兴祚刘兴祚（1605年－1630年2月14日），又名刘爱塔，明末清初军事人物，生年不详。刘兴祚原居辽东开原，后流落建州女真。早年家庭状况殷实，有一定学识。在建州，得到努尔哈赤赏识，赐满语名“爱塔”，后隶属于努尔哈赤次子代善。1615年，建州创立八旗制度，刘爱塔部编入正红旗。1621年四月，刘爱塔被派往辽东半岛南端，期间历任游击、参将、副将，1622年正月，努尔哈赤又把刘兴祚侄子所辖海州拨归刘兴祚，至此刘兴祚总管南四卫。在当时后金汉人将领中，倍受努尔哈赤重用。1623年，复州备御王丙告发刘爱塔通敌。事后，王丙以
2009年Sidekick数据丢失事件2009年Sidekick数据丢失事件导致约800000名美国智能手机用户暂时失去个人数据，丢失的数据包括他们的移动电话中的电子邮件、通讯录和照片。于本次事件中丢失数据的服务器是由微软运营的。受影响的手机品牌为Danger Hiptop，也被称为“Sidekick”，透过T-Mobile蜂窝网络连线。此事件于当时是云计算史中最大的灾难。Sidekick智能手机起初由危险公司（Danger, Inc.）生产。微软于2007年2月收购的该公司，收购后，前危险公司人员被聘请到微软娱乐和设备部门的移动通信业务（M