Immanuel Kant's Critique of Pure Reason is widely taken to be the starting point of the modern period of mathematics …