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.

métalogique

adjectif

  • Relatif à la métalogique.