Yes, this has all the hallmarks of the light intro post. But it has the important take-away that is claiming (and I agree) that we shouldn't be too worried abo

Yes, this has all the hallmarks of the light intro post. But it has the important take-away that is claiming (and I agree) that we shouldn't be too worried about the fact that some things can't be proven within formal systems. We have what amounts to a huge body of empirical experience that roots our confidence in many things, including set theory. Indeed we have no real way of giving our stamp of approval to a formal system except by our intuitions about what reason is, as modified by our life experience. And even the innate intuitions are the product of biological evolution, which is another kind of empirical testing process.