"The data of mathematics are not without their premises; they are not, as the Germans say, voraussetzungslos; and though mathematics is built up from nothing; the mathematician does not start with nothing. He uses mental implements, and it is they that give character to his science."