The pure logic of number, for instance—that’s what a lot of mathematics is about—is what you can infer a priori about number.