We used to "run through" books like that. Their reasoning was to prove a theorem you only need the definitions/axioms. They really wanted us to be able to grasp the truths of a logical system from just its theorems and definitions. It was horrifically difficult. (Not all professors taught that way there.)

I feel that a lot of blame lies at modern academias curriculums. They feel every student needs to graduate in X number of years with a pretty long list of courses. It leaves little time for students who need or want more time with topics.