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