网站首页
编程语言
数据库
系统相关
其他分享
编程问答
ZFC
2024-10-08
集合论(ZFC)之 序数与良序同构(isomorphic)
在论证序数(Ordinals)与良序集(WellOrderedSets)同构(isomorphic)前,需要引入一些新的概念,以便后续的论证。一、集合类(Class) 为了方便描述多个集合组成的结构(acollectionofset),同时又为了避免集合的集合产生的逻辑上的冲突,因此,引入了一个类似于集合(S