b'\n_START_ARTICLE_\nMetamatematica\n_START_SECTION_\nDescrizione\n_START_PARAGRAPH_\nTra le sue branche pi\xc3\xb9 importanti si pongono la teoria della dimostrazione e la teoria dei modelli. Il significato che le attribuiva originariamente David Hilbert si avvicina a quello della attuale teoria della dimostrazione (vedi programma di Hilbert)._NEWLINE_Le due suddette branche ora spesso sono considerate parti della logica matematica, termine che (secondo Googlefight) ora viene molto pi\xc3\xb9 ampiamente usato di quello di metamatematica; mentre taluni considerano metamatematica un termine obsoleto,  esso viene ancora usato dalla Library of Congress per categorizzare libri come Metamathematics of Fuzzy Logic (2002) e  G\xc3\xb6del, Escher, Bach: Un\'Eterna Ghirlanda Brillante._NEWLINE_Molti temi riguardanti i fondamenti della matematica (senza necessariamente riferirsi a qualche determinato "problema") e la filosofia della matematica toccano o utilizzano idee della metamatematica. La premessa programmatica della metamatematica \xc3\xa8 che il contenuto matematico possa essere vantaggiosamente espresso mediante un sistema formale._NEWLINE_Con atteggiamento contrapposto il quasi empirismo in matematica, la scienza cognitiva della matematica e gli studi etnoculturali della matematica (che concentrano l\'attenzione sul metodo scientifico, i metodi quasi empirici o altri metodi empirici utilizzati per studiare la matematica e la pratica della matematica dai quali queste idee diventano accettate), si propongono come modalit\xc3\xa0 non matematiche per studiare la matematica._NEWLINE_Per un esempio dei tipi di contraddizioni nelle quali si incorre facilmente se non si distingue fra matematica e metamatematica, si veda paradosso di Richard.'