- 1. Poser explicitement dans une théorie déductive les règles de formation des propositions et les règles de déduction suivant lesquelles on raisonne.
- 2. Réduire une théorie à un système formel.
verbe passif
À DÉCOUVRIR DANS L'ENCYCLOPÉDIE
« Dans ces parages de l'aisance, on voudrait tant que tout fût pour le mieux dans le meilleur des mondes » (Aragon). « Mieux » et « meilleur » sont ici :