metamatemática . ( De meta- y matemática ). 1. f. Teoría lógica formal de las pruebas en matemáticas. Cita extraida del diccionario de la RAE metamatemática