On: What do we mean by "the foundations of mathematics...

[nextaccountic]

they don't, but they use chemistry

i guess that a point can be made that, even though chemistry is just applied quantum electrodynamics, people seldom derive it from first principles