公理集合論的主要開創者之一：德國數學家策梅洛
策梅洛(1871~1953)德國數學家。公理集合論的主要開創者之一。1871年7月27日生於柏林，1953年5月21日卒於弗賴堡。1889年大學畢業後，研究數學、物理和哲學，1894年獲博士學位，1899年執教於格丁根。1905年為教授。1926年為弗賴堡大學榮譽教授，1935年因駁斥阿道夫·希特勒 的統治與該校失去聯繫，直到第二次世界大戰後的1946年才被該校承認復職。
策梅洛的主要貢獻是集合論基礎，1904年發表的論文不僅解決了G.康托爾的良序問題，而且給出了選擇公理(也稱為策梅洛公理)，它有上百種等價形式，已應用於幾乎每一個數學分支，成為一個獨立的研究領域。他在1908年建立了第一個集合論公理系統，給出了外延、空集合、並集合、冪集合、分離、無窮與選擇等公理，A.A.弗倫克爾和A.T.斯科朗又作了改進，增加了替換公理，J.馮·諾伊曼進一步提出了正則公理，後經策梅洛的總結構成了著名的集合論公理系統ZF，形成了公理集合論的主要基礎。策梅洛對物理、數學應用一直有濃厚的興趣，在變分法、氣體運動學等方面也有研究。
策梅洛定理表示在二人的有限遊戲中，如果雙方皆擁有完全的資訊，並且運氣因素並不牽涉在遊戲中，那先行或後行者當一必有一方有必勝/必不敗的策略。若運用至國際象棋，則策梅洛定理表示"要麼黑方有必勝之策略、要麼白方有必勝之策略、要麼雙方也有必不敗之策略"。
策梅洛的論文於1913年以德文發表，並被Ulrich Schwalbe和Paul Walker於1997年譯為英文。