策梅洛最出名的工作是集合论。1908 年，他给集合论列出了一套公理，后来成了现代数学的基础之一，今天叫 ZF 公理系统里的「Z」，就是他。
1913 年，他还写了一篇很短的论文，用集合论去分析国际象棋：在有限步内必然结束的、双方信息公开的游戏里，要么先手能强制赢，要么后手能强制赢，要么双方都能强制和棋。这个道理靠从终局往回推得出，是后来倒推法的雏形。
他的人生也有倔强的一面。1935 年，他因为拒绝在课堂上行纳粹礼，辞去了弗赖堡大学的荣誉职位。
你可能不知道
01他和罗素几乎同时发现了集合论里的那个悖论，但他没有急着发表。
021913 年那篇论文的内容，后来被人反复解读，对它到底证明了什么，至今仍有争论。
人生年表
- 1904提出良序定理
- 1908发表集合论公理化
- 1913发表国际象棋的论文
他怎么想问题
有限的游戏，答案早就在终局里。