Comment by bibanez

Still, what you prove for all naturals in Math still works for a finite number of them so the limitations in CS are just arbitrary, I don't think they matter much philosophically