formal system









formal system


formal system noun

  1. 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
53 queries 0.518