[FOM] Eliminating AC
meskew at math.uci.edu
Thu Mar 21 16:12:41 EDT 2013
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.
More information about the FOM