So far, I have attempted to show that Husserl’s philosophy of mathematics is primarily a method for assessing the current state of the art of mathematics. He explains his method most maturely in the introduction to Formal and Transcendental Logic (1929), where he claims that the work is a result of radical Besinnung, discussed in detail in Chapter 1. Assuming that rational activities are goal-directed, Besinnung aims to clarify the sense of an activity by explicating the (typically implicit) goals that guide that activity.