[FOM] Consistency of formal systems

[H. Enderton]

Torkel Franzen wrote:
>  I commented earlier that Fenstad's proof was known to be incorrect.
>However, it seems that this fact is known only in folklore, and that
>no retraction or correction has been published in the logical
>literature - more precisely, I haven't found any such, but stand ready
>to be corrected.

The review of Fenstad's paper in JSL, XXXIV 131, by Steven Savitt,
does indeed discuss the gap in Fenstad's proof.

--Herbert Enderton