Système de Hilbert

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.