It's not about "missing proofs". Instead its about propositions not being provable. See the following for contradictions in foundations: https://papers.ssrn

It's not about "missing proofs". Instead its about propositions not being provable. See the following for contradictions in foundations: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021