Tipo de linguagem normativa de um idioma.
1
As linguagens formais são elas próprias objectos matemáticos, sujeitas ao estudo por métodos matemáticos.
2
O objectivo da metamatemática é lançar luz num certo conteúdo, nomeadamente, linguagens formais e axiomatizações.
3
A "aplicação" da metamatemática a linguagens formais e sistemas dedutivos é irrelevante paraa suaessênciacomoramo damatemática.