metamatematica 1 (sf.) (pl.-che) Secondo Hilbert, l'insieme dei metodi che utilizza la logica matematica per analizzare la coerenza di un linguaggio e per verificare la validità delle dimostrazioni.