It turns out that foundational mathematical systems can prove their own consistency.

See the following:

https://papers.ssrn.com/abstract=3603021

However, the proof is not convincing because the proof is

valid even if the system is inconsistent!