Palabra clave: admisibilidad formal