从生活实际中抽象出数学知识