Formalització

En lògica i en matemàtiques, procediment amb el qual es construeixen sistemes formals o llenguatges formals: simbolització d'un llenguatge amb finalitat deductiva.