A formal system is a structured framework consisting of a set of axioms and rules of inference used to derive theorems. It is fundamental in logic and mathematics for ensuring consistency, precision, and rigor in proofs and reasoning processes.