metamatemática
me·ta·ma·te·má·ti·ca

sf
Mat Termo formalístico pelo qual se indicam os conceitos básicos usados na lógica matemática, a fim de estudar a coerência de certa linguagem e verificar a validade das demonstrações.
ETIMOLOGIAvoc comp do gr metá+matemático, como fr métamathématique.