"The abstract part of mathematics is then purely instrumental, and is only an immense and admirable extension of natural logic to a certain class of deductions."