> Now that part is pretty much solved, we are fairly confident that the foundations of mathematics are consistent.

Well, if you want them to be. I’m quite fascinated by the field of inconsistent mathematics, which attempts to show one can do real and useful mathematics given foundations which are at least tolerant of inconsistency (or even actually inconsistent)

https://plato.stanford.edu/entries/mathematics-inconsistent/

https://ir.canterbury.ac.nz/server/api/core/bitstreams/d6722...