Metalimbaj

De la Wikipedia, enciclopedia liberă
Sari la navigare Sari la căutare

Există un limbaj matematic (metalimbaj) ce descrie matematica însăși. 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. Mai des însă, termenii sunt inventaț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ă.