- 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
« Les opérettes que j'ai [entendu] chanter. » Comment faut-il écrire « entendu » ?