În logică și lingvistică un metalimbaj este un limbaj folosit în descrierea altui limbaj, numit limbaj-obiect.

Conceptul de metalimbaj se poate aplica unui limbaj formal asociat unei științe formale cum ar fi matematica. Acest limbaj este logica.

Anumiți termeni din limbajul curent, cum ar fi grup, inel sau corp pot avea un înțeles diferit în limbajul matematic față de limbajul natural. Mai des însă, termenii sunt creați și introduși în funcție de necesități: izomorfism, topologie, iterație etc.

Numărul relativ mare al termenilor noi sau cu înțeles schimbat face ca înțelegerea matematicilor avansate de către nespecialiști să fie dificilă.

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.