formal system, or formal theory, n. (Logic) an uninterpreted symbolic system, often including non-logical axioms, of which the syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system. Compare formal language.