Beware of the Gödel- Wette paradox

Alexander S. Yessenin-Volpin, Christer Hennix

This paper gives a counterexample to the impossibility, by Gödel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of ari…