文学 语义学 释 meta-language 元语言 用来描述或指称语言的语言或符号。又称纯理语言、符号语言。与对象语言（object language）相对。
metalanguage 元语言
＞数理逻辑与数学基础＞证明论＞释义 metalanguage 元语言 metalanguage 元语言†
系统软件 语言与编译 释文 meta language 元语言
- theorem of ratio of equality
- theorem of residues
- theorem of Riemann-Roch type
- theorem of Stoll type
- theorem of Tauberian type
- theorem of termwise differentiation
- theorem of the complete quadrangle
- theorem of the cube
- theorem of the square
- theorem of three perpendiculars
- theorem of topological degree
- theorem of total probability
- theorem of unique prime factorization
- theorem on addition of probabilities
- theorem on braids
- theorem on composition of accelerations
- theorem on composition of angular accelerations
- theorem on composition of angular velocities
- theorem on composition of velocities
- theorem on congruence
- theorem on constants
- theorem on continuity
- theorem on degrees
- theorem on divisors
- theorem on embedding