- 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
Comment appelle-t-on un miroir qui permet de voir sans être vu ?