类

✍ dations ◷ 2025-11-28 21:11:01 #类

在集合论及其数学应用中，类是集合（或其他数学物件）的搜集（collection），可以依所有成员所共享的性质被无歧定义。有些类是集合（例如由所有偶数构成的类），但有些则不是（如所有序数所构成的类或所有集合所构成的类）。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里，有许多物件对集合而言太大，而必须以类来描述，像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类，一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子，请参见完全自由格（英语：Free_lattice#The_complete_free_lattice）。真类不能是一个集合或者是一个类的元素，而且不受ZF集合论中的公理所限制；因此避免掉了许多朴素集合论中的悖论。反而，这些悖论成了证明某一个类是否为真类的方法之一。例如，罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类，而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类；而在元语言中，类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式；类在此一理论中是基础的物件，而集合则被定义为可以是其他某些类的元素的类。真类，则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中，“真类”的概念依然是有意义的（不是任一堆事物都会是集合），但对集合特质的认定并非依据其大小。例如，所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义，最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合，又或者会是个更为模糊的概念。

相关

神经外科学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学神经外科，也常称作脑外科，是外科的一个
绿弯菌门绿弯菌门（Chloroflexi）是一类通过光合作用产生能量的细菌，又称作绿非硫细菌，尽管还有一部分称作热微菌的细菌也属于绿非硫细菌。它们具有绿色的色素，包括作为反应中心的菌绿素a和
喉咙咽喉（Throat）是解剖学中咽（学名：Pharynx）和喉（Larynx）的总称，是消化系统和呼吸系统的一部分。Template:Mouth anatomy（英语：Template:Mouth anatomy）
核反应堆核子反应炉（英语：nuclear reactor）是一种启动、控制并维持核裂变或核聚变链式反应的装置。相对于核武爆炸瞬间所发生的失控链式反应，在反应堆之中，核变的速率可以得到精确的控制，
脱磷酸裸盖菇素脱磷酸裸盖菇素是一种致幻性蘑菇生物碱，与磷酸化的裸盖菇素共见于多数迷幻蘑菇中。在中华人民共和国是第一类精神药品。其精神作用多变，一般作用时间在3-8小时。可由裸盖菇素
(4-)4-氨基喹啉是喹啉环上4号位被氨基取代的有机化合物。4-氨基喹啉可以4-羟基喹啉为原料，经三氯氧磷将羟基转化为氯原子，再氨解得到。
未知的南方大陆未知的南方大陆（拉丁语：Terra Australis Incognita）是15世纪至18世纪时，于欧洲地图上出现的假想大陆。又称为“麦哲伦洲”（拉丁语：Magallanica / Magellanica）。明代《坤舆万国全图
卢旺达– 非洲（浅蓝及深灰）– 非盟（浅蓝）卢旺达共和国（卢旺达语：Repubulika y'u Rwanda，法语：République du Rwanda，英语：Republic of Rwanda，斯瓦希里语：Jamhuri ya Rwanda），通称卢旺达，是
叶夫帕托里亚叶夫帕托里亚（乌克兰语：Євпаторія, 俄语：Евпатория, 克里米亚鞑靼语：Kezlev, 希腊语：Ευπατορία, Κερκινίτις - Eupatoria, Kerkinitis, 土
数学基础数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论（可计算性理论）。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题