high order language 고차원적 언어: 언어지체를 대상으로 하는 서술이나 논의에 사용되는 언어. 이차원적(second order) 언어라고도 한다. 어떤 주어진 언어를 대상으로 하는 언어를 이차원적 언어라고 하고 그 대상언어를 일차원적 언어라고 한다. 이차원적 언어, 혹은 그것을 대상으로 하는 보다 고차원적인 언어를 통칭하여 고차언어 혹은 메타언어(metalanguage)라고 한다. 메타언어와 대상언어의 관계는 서로 상대적으로 성립된다. 즉, 고차언어도 그것을 대상으로 하여 논의하거나 서술하는 언어가 있을 때는 대상언어가 된다. metalanguage 참조.