The first is to confirm the correctness of knowledge.

Secondly, we can feel the rigor of the unique logical system of mathematical knowledge.

More importantly, it provides a model to solve a class of problems. This includes the basic ideas and methods to solve the problem.

Therefore, the learning of theorem proving process is an essential learning link for mathematics majors. If you can't explain the theorem proof clearly, to put it bluntly, you can't learn mathematical analysis at all.

Mathematical analysis needs to do many problems, but all of them are based on learning concepts and theorems. Exercises can be roughly divided into two categories. One is to deepen the understanding of the course content, so we must first understand the content. The other is the supplement and extension of the content. Some contents are also very important, but different textbooks have their own logical systems. Some contents can be logically deduced from the knowledge in the textbooks, but if it is difficult for them to obtain, they should be incorporated into the three-dimensional structure of the knowledge system (the logical body is the current system). The extension part is limited to the objects that the textbook is not suitable for teaching, and should also be included in the logical system.