Articolul introduce un limbaj pentru reprezentarea formală a corpurilor lingvistice (plural pentru corpus linguistics). Acest limbaj permite reprezentarea prin intermediul conceptelor matematice a unor noţiuni specifice limbajelor formale existente şi a limbilor naturale. Este demonstrat că la modelarea limbilor naturale aparatul existent al limbajelor formale recurge, implicit, la semantică şi nu poate reprezenta aspectul pur formal al limbilor naturale. În schimb, obiectivul de modelare a aspectului pur formal al limbilor naturale poate fi atins prin limbajul corpurilor lingvistice, numit metalingua. Aparatul introdus poate avea aplicaţie în Webul Semantic, web de următoarea generaţie, menit să reprezinte informaţia în baze de cunoştinţe accesibile din Internet, şi care poate contribui, într-o anumită măsură, la modelarea limbilor naturale.