On Mar 20, 2013, at 5:52 PM, Joe Shipman <JoeShipman at aol.com> wrote: > What is the simplest way to see that any arithmetical consequence of ZFC is a consequence of ZF? Consider L. It satisfies ZFC, and arithmetical statements are absolute between V and L.