metalogic noun1 •The metatheory of logic; the study of properties of logical systems. formsmetalogics