明朝时，意大利传教士（）来到中国，与徐光启合作翻译了欧几里德的（）。