正集合论

✍ dations ◷ 2025-11-04 20:10:15 #正集合论

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

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

相关

  • 下颚颔(又称下巴、下颔、下巴颏),是位于脊椎动物包括人类面部嘴唇以下的部位,人到年老时下巴会逐渐萎缩,这是老化现象的一个过程。
  • 民族植物学民族植物学(Ethnobotany)旧译为民俗植物学,是一门探讨生物学、植物学、药理学、人类学等领域的综合学科。民族植物学的目的是纪录、描述和解释人类在文化上(及使用)与植物间的关
  • 米奇·阿尔博姆米奇·阿尔博姆(Mitch Albom, 1958年5月23日-),美国体育记者、小说家、《底特律自由报》(Detroit Free Press)专栏作家。阿尔博姆毕业于布兰戴斯大学和哥伦比亚大学。他撰写报纸专
  • 尼姆博雷布德鲁克尼姆博雷布德鲁克(Nimbhore Budruk),是印度马哈拉施特拉邦Jalgaon县的一个城镇。总人口8449(2001年)。该地2001年总人口8449人,其中男性4485人,女性3964人;0—6岁人口759人,其中男426
  • 拉姆萨尔拉姆萨尔(Ramsar,波斯语︰ رامسر)是伊朗马赞德兰省的城镇,位于里海沿岸,当地人操吉拉基语(Gilaki language)。拉姆萨尔是伊朗的著名海边度假区,部分地区有放射性的温泉,是全球最高
  • 赛朗格赛朗格(Sairang),是印度米佐拉姆邦Aizawl县的一个城镇。总人口5036(2001年)。该地2001年总人口5036人,其中男性2831人,女性2205人;0—6岁人口774人,其中男365人,女409人;识字率81.81%,其
  • 源潭河源潭河,又称龙塘河、大燕河,位于中华人民共和国广东省清远市清城区境内,是北江、潖江分洪道。源潭河北端自飞来峡镇江口圩(旧为清新县江口镇)潖江左岸分汊起,西南经源潭镇和龙塘镇
  • 火星谷地列表Vallis(复数Valles)指的是谷地(Valley),包括峡谷、河谷等地形。以下列出火星上一些已命名的谷地。注:直径用公里;并非如计算河川长度,而是指整体所占最长距离,例如首尾直线距离。
  • 杰兹·齐森姆杰斯拉多·普林斯·赫米斯·阿灵顿·“杰兹”·齐森姆二世(英语:Jasrado Prince Hermis Arrington "Jazz" Chisholm Jr.,1998年2月1日-),为美国职棒大联盟的游击手,目前效力于迈阿密马林鱼。2015年7月,齐森姆以国际自由球员身份跟响尾蛇签约。2016年,他从高阶新人联盟起步,打击率为2成81,并敲出9轰与37分打点。2017年世界棒球经典赛资格赛,齐森姆还代表英国出赛。同年他在美国协会职业联盟打球,不过却不慎受伤。2018年7月,他升上高阶1A。2019
  • 嘉义昭忠祠嘉义昭忠祠,是位于台湾嘉义市东区中山里的昭忠祠,位于九华山地藏庵旁。地藏庵前右侧(南侧)广场另建有昭忠祠,有祭祀在1862年(同治元年)戴万生民变事件中殉难之义民。虽在1906年及1930年的地震中皆倒毁,但皆重建。曾于1936年废庙,地藏庵于1971年改建时,昭忠祠以原庙建材移建于地藏庵前,2020年再移至目前庙地。