There is a simple explanation why the [Gödel 1931] proof for Russell's system does not work here: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.

There is a simple explanation why the [Gödel 1931] proof for Russell's system does not work here: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021