- 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
Formal System (noun) Definition, Meaning & Examples
