. El doble de un numero en el lenguaje formal de matemática​