Definition:Formal Proof

Definition
A formal proof of a WFF $$\mathbf A$$ in a formal system $$\mathcal F$$ is a sequence of rules of inference of $$\mathcal F$$ which demonstrate whether $$\mathbf A$$ is a theorem in $$\mathcal F$$.