Skip to content
scrambled
Programming Language Theory Concept

Formal system

JourneyProgramming Language Theory Statuslearning Tags
  • formal system

A mathematical framework consisting of a syntax for forming statements, axioms taken as given, and inference rules for deriving new statements from existing ones.

A mathematical framework consisting of a syntax for forming statements, Axioms taken as given, and Inference rules for deriving new statements from existing ones.