"Mathematics in itself, as I say, is independent of experience. It begins with the free choice of symbols, to which are freely assigned properties, and it then proceeds to deduce the necessary rational implications of those properties."