If humans didn't exist, would mathematics cease to have a goal? Yes.