The metalogic of a system of logic is the formal theory of the formal logic. Results in metalogic will consist of such things as formal proofs demonstrating the soundness of the logic.
For example, the metalogic of any system of first-order predicate calculus is the demonstration of its completeness and consistency.
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |