I think philosophy proved this before mathematics. See e.g. https://en.wikipedia.org/wiki/Regress_argument https://en.wikipedia.org/wiki/Regress_argument, the s

I think philosophy proved this before mathematics. See e.g. https://en.wikipedia.org/wiki/Regress_argument https://en.wikipedia.org/wiki/Regress_argument, the same argument from over two thousand years ago.