Text this: Kant's philosophy of mathematics