metamatemática

metamatemática

s. f. MATEMÁTICAS Teoría lógica formal que tiene por objeto establecer ciertas propiedades de las teorías matemáticas.