Definition, synonyms and related words
The metatheory of logic; the study of properties of logical systems.