Logique Formelle

Système axiomatique

Ensemble formel d'axiomes et de règles d'inférence définissant une théorie logique, servant de base pour des démonstrations rigoureuses.

← Quay lại