策梅洛，E.F.F.
正文
德國數學家，公理集合論的主要開創者之一。1871年7月27日生於柏林，1953年5月21日卒於弗賴堡。1889年大學畢業後,研究數學、物理和哲學,1894年獲博士學位，1899年執教於哥廷根。1905年被任命為教授。1926年被任命為弗賴堡大學榮譽教授，1935年因駁斥希特勒的統治與該校失去聯繫，直到第二次世界大戰後的1946年才被該校承認復職。 策梅洛的主要貢獻是集合論基礎，1904年發表的論文《每一集合都能夠被良序的證明》不僅解決了G.（F.P.）康托爾的良序問題，而且給出了一條基本原理即選擇公理（也稱為策梅洛公理）,它有上百種等價形式,已套用於幾乎每一個數學分支，成為一個獨立的研究領域。他在1908年發表的論文《集合論基礎研究 I》中建立了第一個集合論公理系統，給出了外延、空集合、並集合、冪集合、分離、無窮與選擇等公理，A.A.弗倫克爾和A.T.斯科朗又作了改進，增加了替換公理，J.馮·諾伊曼進一步提出了正則公理，後經策梅洛的總結構成了著名的集合論公理系統ZF，形成了公理集合論的主要基礎。
策梅洛對物理、數學套用一直有濃厚的興趣，在變分法、氣體運動學等方面也有研究。
