s.f. nella logica contemporanea, teoria che abbia come proprio oggetto d'indagine un'altra teoria (detta teoria oggetto).