Una prueba aportada por una metateoría es denominada como metateorema.