与几种最精确的数学方法有关（见形式系统）。普遍来说，形式主义就是在特定的、局限的范围中，纳入形式系统的努力；所有纳入形式系统中的问题，或在一些「可形式化」的范围中，都可以形式化地讨论。完全形式化，则多数在计算机科学的范畴中找到。形式主义也是数学哲学中一个特定的流派，着重通过大卫·希尔伯特的理论证明数学逻辑。所以，在数学哲学的范畴中，一个形式主义者，就是指传自大卫·希尔伯特的数学哲学教条——形式主义流派当中的一员。
人类学.在经济人类学，「形式主义」指新古典经济理论在理论