métalogique

nom féminin

Définitions de métalogique


  • Discipline qui a pour objet la description des propriétés d'une théorie logique déterminée et d'assurer son axiomatisation et sa formalisation.