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