1908年，德国数学家谁提出了第一个公理化集合论体系

1908年，德国数学家谁提出了第一个公理化集合论体系

1908 年，恩斯特·策梅洛提议了第一个公理化集合论：策梅洛集合论。

策梅洛集合论（Zermelo-Fraenkel Set Theory），含选择公理时常简写为 ZFC，是在数学基础中最常用形式的公理化集合论。

这个公理化理论不允许构造序数；而多数“普通数学”不使用序数就被不能被开发，序数在多数集合论研究中是根本工具。