第一次正式提出地球是一个圆球的概念的是（)。