As Jesper Carlström, Matt Insall, and Nate Ackerman have pointed out, in my previous message I meant *ZF* + ~ACR not ZFC + ~ACR, which is obviously inconsistent. I momentarily associated C with 'Cantor' instead of 'Choice'. Thanks for your replies. Rex Butler