# Meta-language

From Encyclopedia of Mathematics

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. A.G. Dragalin (originator),

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Meta-language&oldid=17071

This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098