One prevalent philosophical approach to the problem–realism–is examined and rejected in favour of another approach–naturalism. Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin.