石俊是一位备受尊敬的革命先烈和教育家，他为中国民族独立和人民幸福做出了不朽的贡献。然而，很多人不知道石俊是怎样得名的。据了解，石俊的名字是他的父亲给他起的...