在2019软件定义卫星高峰论坛上，中国科学院院士“嫦娥之父”欧阳自远介绍，中国将于2020年探测火星，通过火星卫星、火星着陆器、火星车天地联合探测火星生命信息，研究宇宙和天体环境科学以及探讨改造和建立人类第二个栖息地的前景。由此可知（ ）

①思维是对存在的正确反映②思维能够正确反映存在

③思维和存在是相互依赖的④思维和存在具有同一性

A、①③

B、①④

C、②③

D、②④