Definition:Formal Proof

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}$$.