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.
