Meta-language
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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.
References
- [a1] A. Grzegorczyk, "An outline of mathematical logic", Reidel (1974) Zbl 0287.02001
How to Cite This Entry:
Meta-language. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Meta-language&oldid=55635
Meta-language. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Meta-language&oldid=55635
This article was adapted from an original article by A.G. Dragalin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article