Namespaces
Variants
Actions

Meta-language

From Encyclopedia of Mathematics
Revision as of 17:19, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A logico-mathematical language used to create a meta-theory. In a wider sense, a meta-language is a non-formalized language that is used to formulate statements of meta-mathematics.


Comments

References

[a1] A. Grzegorczyk, "An outline of mathematical logic" , Reidel (1974)
How to Cite This Entry:
Meta-language. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Meta-language&oldid=53669
This article was adapted from an original article by A.G. Dragalin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article