The Axiom of Choice in Quine's New Foundations for Mathematical Logic
Ernst P. Specker · Proceedings of the National Academy of Sciences · 1953
Proceedings of the National Academy of Sciences (PNAS), a peer reviewed journal of the National Academy of Sciences (NAS) - an authoritative source of high-impact, original research that broadly spans the biological, physical, and social sciences.