"Necessary truth is merely the subject-matter of mathematics, not the reward we get for doing mathematics. The object of mathematics is not, and cannot be, mathematical certainty. It is not even mathematical truth, certain or otherwise. It is, and must be, mathematical explanation."