正集合论

✍ dations ◷ 2025-02-28 00:05:38 #正集合论

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

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

相关

  • 麦芽糖-6-[(2R,3S,4R,5R,6R) -4,5,6-trihydroxy-2-(hydroxymethyl)oxan-3-yl]oxyoxane -3,4,5-triol麦芽糖(英语:Maltose)又名胶饴,其色紫凝如深琥珀色,色白而枯者,为饧糖不入药用。 是
  • 雨天雨部,为汉字索引中的部首之一,康熙字典214个部首中的第一百七十三个(八划的则为第七个)。就繁体和简体中文中,雨部归于八划部首。雨部只以上方为部字。且无其他部首可用者将部首
  • 伍斯特坐标:52°13′11″N 2°13′24″W / 52.21972°N 2.22333°W / 52.21972; -2.22333伍斯特郡(英语:Worcestershire,国际音标: .mw-parser-output .IPA{font-family:"Charis SIL",
  • 援蒋路线援蒋路线(日语:援蒋ルート/えんしょうルート Enshō rūto */?)是中国抗日战争期间,美国、英国、苏联等国对重庆国民政府支援物资与国外联系的主要运输路线的总称。援蒋路线这
  • 圣但尼门圣但尼门(Porte Saint-Denis)是一座法国凯旋门,位于巴黎第十区圣但尼郊区街附近。圣但尼门原址是查理五世城墙城门之一,它曾是巴黎的防御工事。圣但尼门是由建筑师弗朗索瓦·布
  • ATC代码 (A05)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A05(肝、胆疾病治疗药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Co
  • 蒂蔻皮亚岛蒂蔻皮亚岛是一个在太平洋西南部的小岛和火山岛,占面积5平方公里(2平方英里)。岛是一个死火山的残余物。他的最高点 里尼山,达海拔380米。特罗托湖覆盖着一个80米深的古老火山口
  • Battle Likes《Battle Likes》(韩语:배틀라이크)是韩国KBS电视台的综艺节目,由不同艺人与明星出演。节目将展现艺人与明星体验韩国文化样子,同时在节目中能看见艺人与明星展现各种不同的面貌
  • 泉千鸟泉千鸟(日语:泉ちどり/いずみ ちどり ,1947年6月5日-2021年1月24日),本名“中山淑子(中山淑子)”,是日本一名女性演歌歌手(日语:演歌歌手)。相关资料来自Oricon新闻网站。
  • 弗雷德里克·兰德柳斯弗雷德里克·兰德柳斯(瑞典语:Fredric Landelius,1884年10月8日-1931年9月2日),瑞典男子射击运动员。他曾代表瑞典参加1920年和1924年夏季奥林匹克运动会射击比赛,共获得三枚银牌和二枚铜牌。