[ProfHewitt]

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