让抽象的数学看得见