大卫·希尔伯特
形式主义也是数学哲学中一个特定的流派，着重通过大卫·希尔伯特的理论证明数学逻辑。所以，在数学哲学的范畴中，一个形式主义者，就是指传自大卫·希尔伯特的数学哲学教条——形式主义流派当中的一员。