A formal system is an abstract framework for rigorously manipulating symbols according to defined rules. It includes a Formal Language, a set of Axioms, and inference rules for deriving theorems. These systems are foundational to mathematics, logic, and computer science.