デデキント無限
↑ Herrlich, Horst (2006). Axiom of Choice. Lecture Notes in Mathematics 1876. Springer-Verlag. ISBN 978-3540309895
↑ 田中尚夫(1987)『選択公理と数学』遊星社