metateorìa

sf. [meta-+teoria]. In logica matematica, teoria che ha per oggetto di indagine un sistema formale o una teoria. La metateoria è caratterizzata da un linguaggio (il metalinguaggio) e da un universo (la teoria-oggetto). Compito della metateoria è quello di fornire risultati d'assieme, validi per intere classi di proposizioni della teoria-oggetto, per tutto quanto il sistema formale, e di individuare relazioni tra la teoria considerata e altre teorie.