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