ツェルメロ集合論は"通常の"数学を公理化することができるため、カントールによって三十年早く始められたプログラムを達成して、確実に成功した。
策梅洛集合论的成功完全在于它能够公理化"一般"数学，完成了康托尔在三十年之前开始的课题。