The government aims to double the number of students in higher education within 25 years.

double 在这里用作动词，意思是"使...变成两倍"或"翻倍"。这个词源自形容词 double（双倍的），通过词性转换变成动词用法。在数学和统计中常用来表示数量上的倍增。