Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable

On 07/05/2025 17:22, Richard Heathfield wrote:

On 07/05/2025 17:01, Ben Bacarisse wrote:

Richard Heathfield <rjh@cpax.org.uk> writes:

[...] In fact, the most surprising aspect of
this whole affair is that (according to Mike)

>
It was me, but Mike may well have pointed it out recently.

 He has (and I'll bet he credited you and I forgot; sorry).

Bloody hell! Yes, it was you, and of course you knew that all along.
"There is peculiar irony here.  The proof is /not/ flawless.  It
has, in fact, a flaw that PO pointed out (although in passing). PO does not care about the flaw because it is easily fixed, but it's there none the less[1]." quoth Ben B in Message-ID: <87o6wcgxdn.fsf@bsb.me.uk> on 1/5/2025.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within