The "World's Simplest Axiom of Choice" Fails. M.P. Fourman, A. Scedrov (1982) Manuscripta mathematica