正集合论

✍ dations ◷ 2025-09-15 16:14:57 #正集合论

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

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

相关

  • 立体专一性立体专一性(stereospecificity)是一个立体化学术语。当一个反应中,反应物可能生成多种(一般即两种:R构型和S构型)立体异构体产物、但实际只生成其中一种产物时,此反应具有立体专一
  • 若林正恭若林正恭(日语:若林 正恭/わかばやし まさやす Wakabayashi Masayasu */?;1978年9月20日-)是日本男性搞笑艺人,东京都中央区出身。他是搞笑二人组奥黛丽的成员,担任吐槽角色(最初是
  • 波士顿·科贝特托马斯·H·“波士顿”·科贝特(英文名:Thomas H. "Boston" Corbett)(1832年1月29日-1894年9月1日)是美国北军在南北战争时期的知名人物之一。他在维吉尼亚州的一个仓库击毙了杀死
  • 骨咄禄阿史那骨笃禄(Ashina Qutlugh)或阿史那骨咄禄(?~691),后突厥汗国(682~744)的创建者,即颉跌利施可汗(突厥语:��������‬,Elteris qaɣan)。他是东突厥颉利可汗的后裔,世袭吐屯。东突厥亡国后,其祖父为
  • 磁锁磁锁又称磁性锁,利用磁性同极相排、异极相吸的原理在锁体内加入磁性弹珠来开启锁,比普通锁更安全。机车上常见的设计,但某些业者尽是在原本的锁上另盖上外盖式磁锁,只要稍施外
  • 孔敬通孔敬通(?-?),南朝梁官员、书法家。梁大同中叶担任东宫学士,与庾肩吾、徐摛、王囿、鲍至等同时,是萧纲幕下的文人。能写一手草书,又创“反左书”,“能一笔草书,一行一断,婉约风流,特出天性,顷来莫有继者。又创为左右书,当时座上酬答,无有识者,应元威见而达之,遂呼为众中清闲法”。
  • 兴化李氏兴化李氏家族高祖李春芳于嘉靖年间举进士,官至内阁首辅,自春芳后兴化李氏家族成为明清江淮间一大望族,位列兴化明清八大家之首,对兴化文风影响深远。李氏家族历代贤才辈出,有“一门五尚书,四代九进士”之誉,“通儒达士,先后并出”。兴化李氏自春芳以来共有进士12人(其中武进士1人)、举人31人(其中武举人5人)。此外,有太学生、监生、贡生、国学生、副榜等具备较高文化水准的人数有500多人。二十世纪以来,李氏后裔中又出了国学大师李详、父子院士李继侗和李德平等。
  • 帝国列表这是按地理区域排列的帝国列表,这些帝国影响远远超越自身地理和文化限制并支配着世界的其他地区。本列表包括在文化和经济领域有影响的“广义帝国”,而非局限于狭义帝国(君主必须为皇帝或国号为帝国的国家)。一些历史学家可能把以下列出的一些帝国用“朝代”的概念代替。
  • 大阪博览会大阪博览会(即日本第五次国内劝业博览会,英语:The 5th National Industrial Exposition (1903))于1903年3月1日至7月1日在大阪市的天王寺区举办。此次展会展出了高水准的工业品和艺术品,吸引了日本国内科技和文化界的精英们的莅临。
  • 陈平初陈平初(1934年3月-),浙江嘉善人,中华人民共和国政治人物、外交官。1934年3月,陈平初出生于浙江嘉善。1948年考入苏州中学。1954年进入中华人民共和国外交部。1993年,接替吴明廉,担任中华人民共和国驻肯尼亚大使。1996年,由安永玉接任。