formal system noun
- logic an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic systemAlso called: formal theory, formal calculus Compare formal language