Si A es una teoría de B y B es en sí misma una teoría, entonces A es una metateoría.