策梅洛-弗兰克尔集合论 策梅洛弗兰克尔集合论英語ZermeloFraenkel Set Theory是数学基础中最常用的一階公理化集合论含选择公理時常简写为ZFC不含選擇公理的則簡寫為ZF它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合理论所提出的一个公理系统