参考文献

B. Banaschewski, A New Proof that “Krull implies Zorn”, Mathematical Logic Quarterly 40 (4), 1994, 478--480
M. Erné, A primrose path from Krull to Zorn, Comment. Math. Univ. Carolin. 36 (1), 1995, 123--126.
安藤遼哉, ZFC+Uのおはなし, 2021 年度 東京理科大学理工学部数学科 大橋研究室卒業論文集(https://ryoya9826.github.io/files/note/ZFC+U.pdf), 2022, 101--158.