The metalogic of a system of logic is the formal proof supporting its soundness.
For example, the metalogic of any system of first-order predicate calculus is the demonstration of its completeness and consistency.
