说到公理化最早是由古希腊数学家欧几里得发现并使用，比如众所周知的《几何原本》便是应用了公理化的方法，其中以五个公设和五个公理作为基础，提出了119个定义和465条命题及证明，由此建立起历史上第一个数学公理体系。

当然欧几里得的公理体系并不完善，后面德国数学家希尔伯特重新定义了现代的公理化方法。也就是这个大名鼎鼎数学界被称为数学界的亚历山大，而且在1900年在国际数学家大会上提出了23个数学问题，为20世纪的数学发展指明了方向。