La metamatematica è una disciplina che si occupa dell’analisi formale delle strutture matematiche e dello studio dei fondamenti della matematica. Il suo obiettivo principale è quello di trasformare una teoria matematica in un sistema assiomatico attraverso la formalizzazione del suo significato intuitivo, al fine di dimostrare le proprietà del sistema formale simbolicamente costruito.
« Torna all'indice del dizionario
