On 8/5/2021 3:19 AM, Bruno Marchal wrote:
And, bad news, those lie begins early in arithmetic, where I got
evidences that might PA + []f proves much more than PA + ~[]f. []f is
a sort of axiom of infinity in disguise. The Gödel number of a proof
of false in elementary arithmetic is a non standard natural number,
and is bigger than all standard natural numbers. The lies and the
errors have a deeper origin that I thought. They have their role, ...
but that is not necessarily a reason to propagate them, on the contrary.
Bruno
Isn't []f inconsistency and allows (in common logic) the proof of every
proposition?
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/everything-list/49f48760-3f7c-b2b2-05cd-85349393c5f3%40verizon.net.
