Science Fair Project Encyclopedia
Metalogic
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.
09-23-2007 01:00:40
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


