 In conclusion to this section, we should also point out that there is another tradition of thinking of explanation in mathematics that includes Mill, Lakatos, Russell and Gödel. These authors are motivated by a conception of mathematics (and/or its foundations) as hypothetico-deductive in nature and this leads them to construe mathematical activity in analogy with how explanatory hypotheses occur in science (see Mancosu 2001 for more details). Related to inductivism are Cellucci 2008 and 2017, which emphasize the connection between mathematical explanation and discovery. 