metamatemática
metamatemática
meta- + matemática
s
f
[MAT ]
Estudo da linguaxe que, segundo Hilbert, está formada polos enunciados sobre os signos empregados pola matemática.