数学におけるメタ言語
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/02 02:28 UTC 版)
論理学で論理を表現する言語など、数学の研究の対象となる言語を対象言語(object language)という。この対象言語について何らかの話をする(定義に限らず性質などを語ることも含む)ための言語をメタ言語という。メタ言語は日本語などの自然言語であることが多い。つまり、辞書の意味の部分である。
※この「数学におけるメタ言語」の解説は、「メタ言語」の解説の一部です。
「数学におけるメタ言語」を含む「メタ言語」の記事については、「メタ言語」の概要を参照ください。
- 数学におけるメタ言語のページへのリンク