1908年，策梅罗提出公理化集合论，将原本直观的集合概念建立在严格的公理基础之上，解决了第二次数学危机。