Metalogic

From Free net encyclopedia

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.

Template:Mathlogic-stubpl:Metalogika