希尔伯特的《几何基础》一书是“形式公理化方法”的奠基著作。