- 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
De quel genre est le mot « espace », quand il désigne un blanc typographique ?