formalize narrowly construed, to formulate a subject as a theory in first-order predicate logic; broadly construed, to describe the essentials of the subject in some formal language for which a notion of consequence is defined. For Hilbert, formalizing mathematics requires at least that there be finite means of checking purported proofs. See also FORMALIZATION, PROOF THE- OR. S.T.K.