Skip to definition.
Get the FREE one-click dictionary software for Windows or the iPhone/iPad and Android apps


Noun: formal system
  1. (logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction.
    "A formal system is said to be recursive (i.e. effective) if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, according to context."

Type of: arrangement, organisation [Brit], organization, system

Encyclopedia: Formal system

Nearest

form family
form genus
form genus Rhizoctinia
form letter
form of address
form of government
formal
formal garden
formal logic
formal semantics
formal system
formaldehyde
formalin
formalisation
formalise
formalised
formalism
formalist
formalistic
formalities
formality