| 策梅罗 Ernst Zermelo1871—1953 亦译“蔡梅罗”。德国数学家、公理集合论的最早提出者。1889年大学毕业，1894年获博士学位，1899年任教于格廷根大学，1905年被任命为教授。1926年被任命为弗赖堡大学荣誉教授。独立地发现古典集合论悖论。1904年发表良序定理(每一集合都是良序的)证明，其中引用并严格地证明了选择公理即策梅罗公理。为克服古典集合论中的悖论，1908年在一阶谓词演算的基础上，将集合论的基本性质、基本运算公理化，首先在数学史上提出集合论公理系统。该系统只承认系统中公理所许可的限度内构造出来的集才是集合，不承认由一切集组成的集为该系统中的集合。它排除了康托尔悖论、布拉里-福蒂悖论以及罗素悖论等等已出现的逻辑、数学悖论。但策梅罗系统的无矛盾性仍没得到证明。1921—1923年间，经弗兰克尔(Abraham Fraenkel， 1891—1965)和斯柯林(Thoralf Skolem， 1887—1963)的严格解释和少许改进，成为现今两个最著名的公理集合论系统中的一个——ZF系统。主要著作有《关于集合论基础的研究Ⅰ》。 |