##  [Preuve](/fr/node/59897) 

  ##  [Preuve](https://mathlogic.quantumdictionary.io/fr/node/59898) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une suite finie et ordonnée de formules dans un système formel où chaque formule est soit un axiome, soit découle de formules précédentes par une règle d'inférence acceptée, et la suite se termine par la formule établie comme prouvée.