正集合论

✍ dations ◷ 2025-07-08 13:21:48 #正集合论

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

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

相关

  • 景教基督像绢画残片藏经洞基督像(英语:Fragment of a Christian Figure)是一幅出土于莫高窟藏经洞的唐朝景教基督像绢画,或绢旗,已残破,现藏英国伦敦大英博物馆。其上所绘人物,貌似沈思的菩萨,右手举起
  • 粘液性囊腺瘤粘液性囊腺瘤(英语:Mucinous cystadenoma),是一类生长于卵巢的、呈粘液性的囊腺瘤,通常为良性肿瘤。恶性肿瘤情况非常罕见,只占10%的粘液性囊腺瘤,以及5%的原发性卵巢恶性肿瘤病例
  • 4f9 6s2 2, 8, 18, 27, 8, 2蒸气压 第一:565.8 kJ·mol−1 第二:1110 kJ·mol−1 主条目:铽的同位素 铽(Terbium)符号Tb,为镧系元素,原子序65,是银白色的稀土金属,具有延展性、韧
  • 室生犀星室生犀星(日语:室生 犀星、1889年8月1日-1962年3月26日),本名:室生照道,是日本诗人、小说家,别号为“鱼眠洞”。“室生”的平假名通常写作“むろう ”,不过室生犀星本人则“むろう”
  • 魏崧魏崧(1785年-1854年),又名高崧,字祝亭、维岳,号式南,湖南省新化县人,道光二年(1822年)举人、道光三年(1823年)进士。历任四川乐山、大竹、隆昌、兴文、邻水、南充和南川等知县。
  • 维吉尔·汤姆森维吉尔·汤姆森(英语:Virgil Thomson,1896年11月25日-1989年9月30日),美国作曲家、评论家。早年曾旅居欧洲,与一些新古典主义作曲家,以及法国“六人团”成员结识,并师从娜迪亚·布朗
  • 配线间配线间是一个小房间,常见在学校和大楼办公室。而它们用于多种用途,其最常见的用途是用于电信网络。由于许多类型的网络连接方式都存在与终端用户设备之间的距离限制,例如个人电
  • 2013年坦帕市天坑2013年坦帕市天坑是在美国佛罗里达州坦帕市郊区一间民宅内出现的一个宽20至30米、深约30米的天坑,吞噬了一名正在睡觉的男子。经抢救无果后,当局政府拆除所在民宅,并将天坑填平。在事件发生两年后的2015年,于当初事发的同一地点,又出现了一个天坑。美国佛罗里达州为天坑的异常频发地带。佛州环保局称该州位于石灰石或其他碳酸岩石构成的基岩上,在经过酸性地下水腐蚀后,就容易被溶解、形成空隙,而造成了天坑的发生。该天坑发生于2013年2月28日晚间11时,坦帕市郊区一间建于20世纪70年代的民宅内。当时屋内的一家人
  • 尹壮图乾隆三十一年(1766年)丙戌科进士出身翰林院庶吉士(乾隆31年-乾隆34年)吏部验封司主事(吏部主事)(乾隆34年-乾隆36年)吏部文选司员外郎(吏部员外郎)(乾隆36年-乾隆39年)礼部祠祭司郎中(礼部郎中)(乾隆39年)江南道监察御史(江南道御史)(乾隆39年-乾隆42年)京畿道监察御史(京畿道御史)(乾隆42年-乾隆44年)光禄寺少卿(乾隆44年)太仆寺少卿(乾隆44年-乾隆45年)内阁学士兼礼部侍郎衔(乾隆45年-乾隆52年)顺天乡试副考官(乾隆48年兼任)丁父忧(乾隆52年-乾隆55年)内阁学
  • 岚月岚月,又称桂岚月,是五子棋的一种开局名称,日文作:Rangetsu。记为I8,斜止打法第八局,桂马打第三局。