正集合论

✍ dations ◷ 2025-08-18 03:45:32 #正集合论

在数理逻辑中,一种 称为一种正集合论(Positive set theory),如果分离公理

对正公式 ϕ {displaystyle phi } 成立。注意正集合论是以上这一系列集合论的总体,而不仅是“一个”集合理论。

相关

  • 奎卢省奎卢省(法语:Province du Kwilu)是位于刚果民主共和国西部的一个省,首府基奎特(Kikwit),人口5,174,718(2005年),面积78,219平方公里。
  • 和县和县位于中国安徽省东部、长江下游西北岸,是马鞍山市下辖的一个县。面积1318.6平方公里,人口54万。邮政编码238200。县政府驻历阳镇。秦朝赢政元年,置历阳县,因“县南有历水”得
  • 九芎林 (新北市)九芎林,是新北市坪林区的一个地名,位于该区东南部,范围大致为石�里东北半部。九芎林全境位于�鱼堀溪流域范围内。台湾清治末期,九芎林地区为一街庄,称为“九芎林庄”,隶属于文山堡。
  • 淳福淳福(Thuần Phúc,1565年—1568年)是大越国莫朝莫茂洽的第一个年号,共计4年。传统越南历史年表依据《大越史记全书》,将淳福起止时间定为1562年至1566年,共5年。《大越通史》记载
  • 摇滚少女《SHOW BY ROCK!!》第6卷蓝光光碟封面《摇滚少女!!》(英语:SHOW BY ROCK!!)是三丽鸥旗下一个以乐队为主题的人物企划,简称为“SB69”。其后由Geechs(日语:ギークス)开发成为手机游
  • 科罗拉多山坐标:22°35.54′S 67°55.33′W / 22.59233°S 67.92217°W / -22.59233; -67.92217科罗拉多山(西班牙语:Volcán Colorados),是智利的火山,位于玻利维亚边境以西7公里,处于库里金
  • 巴布亚湾坐标:9°0′S 145°0′E / 9.000°S 145.000°E / -9.000; 145.000巴布亚湾是巴布亚新几内亚的海湾,位于珊瑚海西北面,距离莫尔兹比港70公里,宽400公里,面积35,000平方公里,当地居
  • 韩国教育部教育部(韩语:교육부/敎育部  */?),韩国国家行政机关。部门首长称教育部长(韩语:기교육부 장관/敎育部長官),兼任副总理和国务委员。
  • 费卢杰六日《费卢杰六日》(英语:Six Days in Fallujah)是一款由Highwire Games开发并由Victura计划发行在Windows平台上的第一人称射击游戏。本作是一款背景设定于2004年伊拉克战争的第二次费卢杰战役(英语:Second Battle of Fallujah),玩家将扮演美国海军陆战队第1师第1陆战团第3营(英语:3rd Battalion, 1st Marines)的一名士兵,经历在费卢杰的6天。游戏最初由Atomic Games(英语:Atomic Games)开发并由科
  • 流石流石(英语:flowstone)是指一种由方解石或其他碳酸盐矿物组成的片状沉积物,形成于水流经过的洞穴墙壁或地板的地方。 在石灰岩的“溶洞”中最常见。 然而,它们也可能在任何类型的洞穴中形成。只要进入到这些洞穴中的水含溶解的矿物质就可。 流石是在包气带中地下水脱气形成的。当水沿着地面或倾斜壁向下移动时,在途径会形成一层水膜 。溶解在水膜中的碳酸钙(方解石)、文石、石膏、 或其他矿物, 会被沉淀出来。 这是因为溶解在水中的矿物质,因为水的流动而失去其溶解中的二氧化碳,导致水中酸性减低,矿物质的溶解度也减低,