Does anyone here have a coherent picture of the foundations of mathematics?
I'm very confused about the whole thing, especially when it comes to the unprovability of the consistency of the axioms and the similar things.
Would you like to explain your position?