Natis9719go Natis9719go Matemáticas contestada . El doble de un numero en el lenguaje formal de matemática