1. Bertrand Russell pertama kali membuat pembedaan ini sebagai inti teori tipenya. Struktur bahasa mana saja, menurutnya, mesti dikupas dari titik pandang bahasa lain. Ini pada gilirannya mempunyai struktur yang menuntat-bjihasa lain lagi, dst, tanpa akhir.

2. Tarski mengaitkan masalah metabahasa dengan masalah ilmu- ilmu deduktif yang diformalisasikan. Struktur suatu ilmu tertentu mesti dibahas dalam suatu metabahasa yang mendefinisikan atau membatasi cakupan sebuah metailmu. Di sini hierarki metailmu-metailmu berjalan mengikuti hierarki bahasa.

3. Carnap membahas konsep dalam konteks suatu objek bahasa L1 yang analisisnya menuntut suatu metabahasa L2. Sebagaimana dalam kasus-kasus terdahulu, metabahasa dapat dilipatgandakan sebanyak-banyaknya bila perlu.

4. Analisis bahasa mesti menggumuli sintaktika, semantika, dan pragmatika. Sintaktika berurusan dengan struktur bahasa, dan masalah-masalah yang ada dalam struktur itu. Semantika adalah studi hubungan bahasa dengan apa yang ditunjuknya. Pragmatika berkaitan dengan problem-problem signifikasi.