 Note that Friedman mentions the theory of mathematical magnitude as well. There is a step between arithmetic and geometry, namely the theory of mathematical magnitude, which is precisely the topic of Chapter 2 of Science and Hypothesis. The theory of mathematical magnitude presupposes the possibility of indefinite repetition, and therefore something like mathematical induction, which Poincaré presents as central to arithmetic in Chapter 1 of Science and Hypothesis.