This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate? Excessive Violence Sexual Content Political / Social
Email Address:
Article Id: WHEBN0005106151 Reproduction Date:
In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.
A formal system is determined by a formal language and a deductive system (axioms and rules of inference). The formal system can be used to prove particular sentences of the formal language with that system. Metatheorems, however, are proved externally to the system in question, in its metatheory. Common metatheories used in logic are set theory (especially in model theory) and primitive recursive arithmetic (especially in proof theory). Rather than demonstrating particular sentences to be provable, metatheorems may show that each of a broad class of sentences can be proved, or show that certain sentences cannot be proved.
Examples of metatheorems include:
Epistemology, Computer science, Philosophy, Aesthetics, Metaphysics
Axiom of choice, Mathematical logic, Category theory, Mathematics, Foundations of mathematics
Mathematical logic, Logic, Foundations of mathematics, Proof theory, David Hilbert
Set theory, Mathematical logic, Philosophy of mathematics, David Hilbert, Computer science
Logic, Game theory, Rhetoric, Mathematical logic, Set theory
Mathematical logic, Proposition, Metatheory, Rule of inference, Hilbert-style deduction system