Meta-language
From HandWiki
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) |
 |  |
