The axiom of choice in Quine’s new foundations for mathematical logic (1953)

by E P Specker
Venue:Proceedings of the National Academy of Sciences of the USA 39