Q: do we need an axiomatic foundation for mathematics?
A: it's good to have it on hand, just in case