[lomnakkus]

FWIW, I've only had a pretty basic intro to math meta-theory, and I think my most "advanced" course in that direction was about Point Set Topology (+ some discrete math courses, but that's par for the CS course).

If one is a mathematician, I think it's entirely reasonable to just "trust" your basic axioms of your "sub-field", but OTOH I can really understand the worry that the rug is going to get pulled out from under you... which is a pretty remote worry given the complexity of math nowadays.

Anyway, thank you for taking the time for that response.