Did We Discover or Invent Math?