métathéorème
nom masculin
- 1. Théorème d'une métathéorie.
- 2. Résultat métamathématique concernant les propriétés d'une théorie mathématique formalisée.
nom masculin
À DÉCOUVRIR DANS L'ENCYCLOPÉDIE
Dans le mot « abordage » quelle est la nature de « bord » ?