A formal system is a structured framework consisting of a set of symbols, rules for forming expressions, and rules for deriving conclusions, used to model and analyze logical reasoning. It is foundational in fields like mathematics, computer science, and logic, providing a rigorous basis for proving theorems and verifying algorithms.