策梅洛-弗兰克尔集合论维基百科,自由的 encyclopedia 策梅洛-弗兰克尔集合论(英语:Zermelo-Fraenkel Set Theory),是数学基础中最常用的一阶公理化集合论。含选择公理时常简写为ZFC,不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合理论所提出的一个公理系统。 “ZFC”重定向至此。关于其他用法,请见“ZFC (消歧义)”。
策梅洛-弗兰克尔集合论(英语:Zermelo-Fraenkel Set Theory),是数学基础中最常用的一阶公理化集合论。含选择公理时常简写为ZFC,不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合理论所提出的一个公理系统。 “ZFC”重定向至此。关于其他用法,请见“ZFC (消歧义)”。