机科学的范畴中找到。形式主义也是数学哲学中一个特定的流派，着重通过大卫·希尔伯特的理论证明数学逻辑。所以，在数学哲学的范畴中，一个形式主义者，就是指传自大卫·希尔伯特的数学哲学教条——形式主义流派当中的一员。
人类学.在经济人类学，「形式主义」指新古典经济理论在理论层面上在人类社会的应用。