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 system
Also called: formal theory, formal calculus Compare formal language
Words nearby formal system
formal cause,
formal equivalence,
formal language,
formal logic,
formal mode,
formal system,
formaldehyde,
formalin,
formalin pigment,
formalism,
formality