There are certain topics in mathematics where ‘philosophy’ (in the broadest sense) is likely to intrude. Introducing negative or complex numbers is one: is mathematics discovered or invented? Another one is proof by contradiction (or contrapositive, see Kinnear & Sangwin, 2018, for a discussion of the difference).
This paper appears here with the permission of the publisher. This paper was published in the journal Scottish Mathematical Council Journal. The journal website is at: http://www.scottishmathematicalcouncil.org/wp1/smc-publications/journals/.