Sure, that's the historic route that we ended up at the place we are in.
However, this is not the logical foundations that are used for current teaching and research.
There has been a lot of effort, in particular in the late 19the century by folks like Hilbert, Goedel, Frege, etc.
to put Mathematics on solid foundations.
This is what we ended up with.
However, this is not the logical foundations that are used for current teaching and research. There has been a lot of effort, in particular in the late 19the century by folks like Hilbert, Goedel, Frege, etc. to put Mathematics on solid foundations. This is what we ended up with.