v. tr. formalizzare una branca della logica matematica o una teoria scientifica mediante un sistema di simboli, di assiomi e di regole di deduzione.