##  [Système de Hilbert](/fr/node/60023) 

  ##  [Système de Hilbert](https://mathlogic.quantumdictionary.io/fr/node/60024) 

  

 [![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

Un cadre de preuve axiomatique qui établit des dérivations en appliquant un petit ensemble fixe de schémas d'axiomes avec modus ponens (et souvent la substitution) comme règles d'inférence principales, privilégiant l'axiomatisation compacte sur le sens granulaire des règles.