策尔梅洛，E．F．F．

【生卒】：1871～1953

【介绍】：

德国数学家。1899年起在柏林、哈勒、弗赖堡等地学习数学、物理和哲学，1894年在柏林获博士学位。之后，来到哥丁根，1899年任讲师，1905年任名誉教授。1910年在苏黎世出任教授，由于健康原因于1916年辞职。1926年任布赖斯高大学荣誉教授，1935年因反对希特勒的统治，宣布与该校断绝关系。战后经他本人要求于1946年恢复原职。主要论文有：《每个集都是可良序的证明》(1904)、《良序定理的新证明》(1908)、《集合论基础研究》(1908)、《论有穷整体与完全归纳原则》(1909)、《公理的限定性概念》(1929)等。在数学基础集合论方面，策尔梅洛的最大贡献是首先建立了康托尔集合论的一个公理系统，该系统仅用到两个初始概念，即集合和属于关系，由7条公理组成：外延性公理、初等集合的公理、分离公理(又称子集公理)、幂集公理、并集公理、选择公理和无穷公理。为了避免悖论，特别是罗素悖论，他在分离公理中利用了一个子集的限定性质来限定集合的形成。策尔梅洛的系统后经A．弗兰克尔和T．司寇伦的进一步改进，形成了比较完善的集合论公理系统，即ZF系统。策尔梅洛的另一个重要成果是1904年发表的良序定理的证明，同时他还明确指出了证明中要用到的一个假设：对任何一簇互不相交的非空集合，总可以在每一个集合中选取一个元素，从而构成一个新的集合。这就是选择公理。数学实践表明，这是数学中一条十分重要和有用的原理。