##  [Formal Proof](/index.php/formal-proof) 

  ##  [Formal Proof](https://humanitites.quantumdictionary.io/formal-proof-0) 

  

 [![Humanities & Arts Dictionary](/sites/default/files/styles/large/public/2026-01/Humanities%20%26%20Arts.png.webp?itok=4SMNHqFS)](/index.php/topic-specific-dictionaries/humanities-arts)



**Humanities & Arts Dictionary**

 







 

 

 

 



 

 

 

 

Definition

A formal proof is a finite, ordered sequence of well-formed formulas in a specified formal language and proof system such that each formula is either a premise, an axiom of the system, or is obtained from earlier formulas by a rule of inference of that system, and the final formula is the derived conclusion.