- #1
Mr Davis 97
- 1,462
- 44
This might be a naive question, but I were to ask you to briefly explain the ultimate foundation of mathematics in a formal manner to get to at least, say, the natural numbers, how would you do it? Where does it all begin? I would say that it begins with set theory, but in studying set theory it seems that a lot of mathematical logic presupposes it, such as model theory and first order logic.
Just a brief sketch of it all to wrap my head around would be nice.
Just a brief sketch of it all to wrap my head around would be nice.