Namespaces
Variants
Actions

Difference between revisions of "Meta-language"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(details)
Line 1: Line 1:
A logico-mathematical language used to create a [[Meta-theory|meta-theory]]. In a wider sense, a meta-language is a non-formalized language that is used to formulate statements of [[Meta-mathematics|meta-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====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Grzegorczyk,   "An outline of mathematical logic" , Reidel (1974)</TD></TR></table>
+
* {{Ref|a1}} A. Grzegorczyk, "An outline of mathematical logic", Reidel (1974)

Revision as of 14:01, 8 April 2023

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)
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