Identifiez-vous ou Créez un compte

Définitions de métalogique

 métalogique

nom féminin


  • 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.