従属選択公理
↑ "The foundation of analysis does not require the full generality of set theory but can be accomplished within a more restricted frame." Bernays, Paul (1942). “Part III. Infinity and enumerability. Analysis.”. Journal of Symbolic Logic. A system of axiomatic set theory 7 (2): 65–89. doi:10.2307/2266303. JSTOR 2266303. MR0006333. http://doc.rero.ch/record/290936/files/S0022481200064185.pdf. The axiom of dependent choice is stated on p. 86.
↑ ムーアは次のように言っている "Principle of Dependent Choices ⇒ {\displaystyle \Rightarrow } Löwenheim–Skolem theorem". 参照: Moore, Gregory H. (1982). Zermelo's Axiom of Choice: Its origins, development, and influence. Springer. p. 325. ISBN 0-387-90670-3