formal system in Greek
formal system in Greek
τυπικό σύστημα
(logic) The grouping of a formal language and a set of inference rules and/or axioms.