，去令得出来的结果与实验或其他计算的方法相同的行为，也可以称为形式主义。这些标记和规则，并不一定有数学上的对应语义。在这些情况之下，计算的方式通常称为「完全形式化」。
数学.在数学基础中，形式主义与几种最精确的数学方法有关（见形式系统）。普遍来说，形式主义就是在特定的、局限的范围中，纳入形式系统的努力；所有纳入形式系统中的问题，或在一些「可形式化」的范围中，都可以形式化地讨论。完全形式化，则多数在计算机科学的范畴中找到。形式主义也是数学哲学中一个特定的流派，着重通过大卫