It turns out that foundational mathematical systems can prove their own consistency. See the following: https://papers.ssrn.com/abstract=3603021 https://paper

It turns out that foundational mathematical systems can prove their own consistency. See the following: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021 However, the proof is not convincing because the proof is valid even if the system is inconsistent!