Axiom of choice for finite sets
Volume 33 / 1945
Fundamenta Mathematicae 33 (1945), 137-168
DOI: 10.4064/fm-33-1-137-168