metamatematica
s.f.
Questa voce viene dal vecchio dizi.it ed è in corso di revisione: presto avrà esempi, traduzioni complete e la spiegazione in parole semplici.
-
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.