Log in

www.springer.com The European Mathematical Society

Tools

View source for Meta-language

← Meta-language

Jump to: navigation, search

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in the group: Users.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page.

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====
* {{Ref|a1}} A. Grzegorczyk, "An outline of mathematical logic", Reidel (1974) {{ZBL|0287.02001}}

Templates used on this page:

Return to Meta-language.

How to Cite This Entry:
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

Retrieved from "https://encyclopediaofmath.org/wiki/Meta-language"