Darstellung mit formalen Mitteln. Der Begriff bezeichnet dabei sowohl das Verfahren als auch das Resultat dieser Wiedergabe. Die abstrakte Repräsentation einer Theorie durch eine formale Sprache stellt eines der wichtigsten Hilfsmittel wissenschaftlichen Arbeitens dar. So bildet beispielsweise die durch die Formalisierung erreichte Übersichtlichkeit und Eindeutigkeit einer Theorie die unerlässliche Grundlage, auf der erst die Widerspruchsfreiheit der Theorie überprüft werden kann. Daneben erlaubt die Formalisierung den Vergleich unterschiedlicher Theorien miteinander, ermöglicht die Feststellung oder Schaffung wechselseitiger Bezüge und schafft so die Grundlage für metatheoretische Untersuchungen. Zur Formalisierung einer Theorie muss insbesondere deren logische Struktur explizit gemacht werden, sodass daraus der Aufbau der betreffenden Theorie deutlich hervorgeht. Dieses Ziel wird in zwei Schritten erreicht: Der erste Schritt beinhaltet die Wahl beziehungsweise Entwicklung einer Kunstsprache, in welche die Aussagen der Theorie übertragen werden können. Dem folgt im zweiten Schritt die eigentliche Übersetzungsleistung, durch die alle Axiome der Theorie in der gewählten Kunstsprache formal dargestellt werden. Die solchermaßen formalisierten Axiome müssen die logische Ableitung aller Lehrsätze einer Theorie ermöglichen. Neben dem Bereich der wissenschaftlichen Theorien stellen vor allem die natürlichen Sprachen ein weites Anwendungsgebiet für Formalisierungen dar.