Formalisation

Humanities & Arts Dictionary
Le processus qui traduit des arguments, concepts ou théories informels en langage formel ou système symbolique (en spécifiant syntaxe, sémantique et règles d'inférence) afin que les énoncés et les inférences soient représentés de manière précise et soumis à une analyse non ambiguë de validité, cohérence, implication ou calculabilité.