形式化有以下意思：
在數學和邏輯領域，形式化是指把通常的研究領域（如數學分支）按形式系統的要求進行抽象加工，建立相應的形式系統的過程。這個過程包括建立形式數學系統，如形式數論系統、公理集合論等，以及把具有一定規律性的研究領域抽象為形式系統，通過形式地研究獲得結果，再還原為原來的直觀領域。這樣，形式化就成了一種重要的研究方法。
形式化也被理解為「形式主義」，指的是一種片面注重形式而忽視實質的工作作風，或只看事物的現象而不分析其本質的思維方法。但請注意，這種理解在某些語境下可能帶有貶義。
此外，形式化還可以理解為將一套特製的人工符號（形式語言）套用於演繹體系，以使其更加嚴格化和精確化的程式和方法。這通常涉及將理論中的概念轉換為形式語言中的符號，命題轉換為符號公式，定理的推演轉換成符號公式的變形等。
總的來說，形式化的具體含義需要根據上下文來判斷。在科學研究領域，它通常指一種抽象化和精確化的研究方法；而在日常語境中，它有時可能被理解為過於注重形式而忽視實質的「形式主義」。