La définition de Formalisation

La formalisation correspond à la présentation d'une théorie (initialement, les mathématiques) dans le cadre d'un système formel.

Le système formel

Le système formel utilise un langage formalisé, constitué d'un ensemble de symboles. Il pose explicitement, dans une théorie déductive, les règles de formation des expressions (ou formules), c'est-à-dire des suites finies de symboles, ainsi que les règles d'inférence, c'est-à-dire les relations entre les formules, suivant lesquelles on raisonne.