formaliser [fɔrmalize]

verbe transitif

(de formel)

LOGIQUE Poser explicitement dans une théorie déductive les règles de formation des expressions, ou formules, ainsi que les règles d'inférence suivant lesquelles on raisonne.