Meta-Logic

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The formal study of the properties of logical systems as objects of investigation: their syntax, semantics, proof transformations, decidability, completeness, compactness, and other metalogical theorems that are stated about whole systems rather than individual formulas.