metamatemática

metamatemática

meta- + matemática

Plural: metamatemáticas
s f [MAT ]

Estudo da linguaxe que, segundo Hilbert, está formada polos enunciados sobre os signos empregados pola matemática.