Topic summary
Proof system
Extracted from the Wikipedia article Proof calculus.
Overview
A formal proof of a well-formed formula in a proof system is a set of axioms and rules of inference of the proof system that infers that the well-formed formula is a theorem of the proof system.