metamatemàtica

sf. [meta-+matematica]. Complesso di ricerche che ha per oggetto le teorie matematiche formalizzate e i sistemi formali. Per D. Hilbert è sinonimo di teoria della dimostrazione, cioè coincide con lo studio delle proprietà formali delle dimostrazioni eseguibili in matematica. In un senso più ampio, studio dei modelli di tali teorie, cioè dei sistemi di oggetti astratti che godono delle proprietà stabilite da tali teorie.