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