|
|
|
|
|
|
by ProfHewitt
1723 days ago
|
|
|
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! |
|
|