Métalogique

L'étude formelle des propriétés des systèmes logiques considérés comme objets d'étude : leur syntaxe, leur sémantique, les transformations de preuves, la décidabilité, la complétude, la compacité et autres théorèmes métalogiques formulés au niveau des systèmes entiers plutôt qu'au niveau des formules isolées.