Tiên đề chọn
Chú thích

↑  Zermelo 1904.
↑  Jech 1977, tr. 351
↑  Jech, 1977, p. 348ff; Martin-Löf 2008, p. 210. Theo Mendelson 1964, tr. 201:
The status of the Axiom of Choice has become less controversial in recent years. To most mathematicians it seems quite plausible and it has so many important applications in practically all branches of mathematics that not to accept it would seem to be a wilful hobbling of the practicing mathematician.
↑  Herrlich 2006, tr. 9. Theo Suppes 1972, tr. 243, phát biểu này do Zermelo 1904 đưa ra. Xem thêm Halmos 1960, tr. 60.
↑  Suppes 1972, tr. 240.
↑  Tourlakis (2003), pp. 209–210, 215–216.
↑  Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Lévy, Azriel (1973), Foundations of set theory (ấn bản thứ 2), Amsterdam-London: North-Holland Publishing Co., tr. 69–70, ISBN 9780080887050, MR 0345816.
↑  Rosenbloom, Paul C. (2005), The Elements of Mathematical Logic, Courier Dover Publications, tr. 147, ISBN 9780486446172.
↑  Dawson, J. W. (tháng 8 năm 2006), “Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science”, Proc. 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), tr. 339–341, doi:10.1109/LICS.2006.47, ISBN 978-0-7695-2631-7, S2CID 15526447, The axiom of choice, though it had been employed unconsciously in many arguments in analysis, became controversial once made explicit, not only because of its non-constructive character, but because it implied such extremely unintuitive consequences as the Banach–Tarski paradox.
↑  Per Martin-Löf, Intuitionistic type theory, 1980. Anne Sjerp Troelstra, Metamathematical investigation of intuitionistic arithmetic and analysis, Springer, 1973.
↑  Errett Bishop và Douglas S. Bridges, Constructive analysis, Springer-Verlag, 1985.
↑  Martin-Löf, Per (2006). “100 Years of Zermelo's Axiom of Choice: What was the Problem with It?”. The Computer Journal. 49 (3): 345–350. Bibcode:1980CompJ..23..262L. doi:10.1093/comjnl/bxh162.
↑  Richman, Fred (2001). “Constructive Mathematics without Choice”. Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum. Dordrecht: Springer Netherlands. tr. 199–205. doi:10.1007/978-94-015-9757-9_17.
↑  Gödel, Kurt (ngày 9 tháng 11 năm 1938). “The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis”. Proceedings of the National Academy of Sciences of the United States of America. 24 (12): 556–557. Bibcode:1938PNAS...24..556G. doi:10.1073/pnas.24.12.556. PMC 1077160. PMID 16577857.
↑  Cohen, Paul (2019). “The Independence of the Axiom of Choice” (PDF). Stanford University Libraries. Truy cập ngày 22 tháng 3 năm 2019.
↑  Điều này là bởi những mệnh đề số học là tuyệt đối với vũ trụ dựng được L. Định lý tính tuyệt đối Shoenfield là một kết quả tổng quát hơn.
↑  Xem Moore 2013, tr. 330–334, danh sách 74 mệnh đề tương đương. Xem Howard & Rubin 1998, tr. 11–16, danh sách 86 mệnh đề tương đương với nguồn tham khảo.
↑  Blass, Andreas (1984). “Existence of bases implies the axiom of choice”. Axiomatic set theory (Boulder, Colo., 1983). Contemporary Mathematics. 31. Providence, RI: American Mathematical Society. tr. 31–33. doi:10.1090/conm/031/763890. MR 0763890.
↑  A. Hajnal, A. Kertész: Some new algebraic equivalents of the axiom of choice, Publ. Math. Debrecen, 19(1972),  339–340, see also H. Rubin, J. Rubin, Equivalents of the axiom of choice, II, North-Holland, 1985, p. 111.
↑  Awodey, Steve (2010). Category theory (ấn bản thứ 2). Oxford: Oxford University Press. tr. 20–24. ISBN 978-0199237180. OCLC 740446073.
↑  projective object tại nLab
↑  Serre, Jean-Pierre (2003), Trees, Springer Monographs in Mathematics, Springer, tr. 23; Soukup, Lajos (2008), “Infinite combinatorics: from finite to infinite”, Horizons of combinatorics, Bolyai Society Mathematical Studies, 17, Berlin: Springer, tr. 189–213, CiteSeerX 10.1.1.222.5699, doi:10.1007/978-3-540-77200-2_10, ISBN 978-3-540-77199-9, MR 2432534. Định lý 2.1, pp. 192–193.