In this chapter, we shall define our major concepts, such as mathematization and mechanistic explanations. Furthermore, the chapter discusses the Inferential Conception, a useful philosophical framework developed to better understand how mathematics is used in the sciences, and Hacking’s styles of reasoning. Both philosophical theories will be fruitful in the historical analyses.