- 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
Un « canut » est un ouvrier des manufactures de soie à Lyon. Mais comment appelle-t-on les ouvrières de ces manufactures ?