WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
n. the act of making formal (as by stating formal rules governing classes of expressions)
Word Usage
"Detlefsen's other argument against the common interpretation of Gödel's second theorem focuses on the notion of formalization: That the particular formalization of “T is consistent” by Gödel's formula"