I'm talking the collapse of infinitesmals as a basis for Calculus, the development of a more rigorous foundation, the rise of axiomatization, debates around the

I'm talking the collapse of infinitesmals as a basis for Calculus, the development of a more rigorous foundation, the rise of axiomatization, debates around the validity of pure existence proofs, the failure of naive set theory, and so on. On pure existence proofs, mathematicians have generally agreed that something can be proven to exist by proof by contradiction on an infinite set. The result is that we say that it exists even though there is no way to find it, and no way to verify that you have found it if you are presented with it. Nothing in Kant's philosophy had anything useful to say about the debate about whether to accept this kind of proof.