数系的历史发展进程和逻辑依据及对教学的启示