Definition of "formalizations"

formalizations