作为科学数学，对所有的定理、法则等都必须进行严格的___________，而作为学科数学，限于学生的接受水平，往往用______