有四座分别以我国古代天文学家名字命名：石申环形山、张衡环形山、祖冲之环形山和郭守敬环形山.
上面说法是正确的.
以“万户”命名是一颗小行星.