[FOM] Eliminating AC

[Monroe Eskew]

On Mar 21, 2013, at 11:47 AM, Joe Shipman <JoeShipman at aol.com> wrote:

> I am looking for something that I can explain in a few minutes to a mathematician who is unfamiliar with Godel constructibility, so that he will feel he understands why the result is true.
> 
> -- JS

The theorem that ZFC is consistent relative to ZF is a special case of the assertion, "any arithmetical consequence of ZFC is a consequence of ZF."  So it seems doubtful that you can answer this question in a simpler way than using Gödel's L.

Monroe