##  [Système Déductif](/index.php/fr/node/60832) 

  ##  [Système Déductif](https://mathlogic.quantumdictionary.io/fr/node/60833) 

  

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

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un dispositif formel constitué d'un langage formel accompagné d'un ensemble d'axiomes (ou schémas d'axiomes) et de règles d'inférence qui déterminent quelles suites de formules constituent des dérivations valides des prémisses aux conclusions.