>>552
＞・実際、1990年以降の数学書や数学者のPDF、数学サイトの解説で
＞　”選出公理”を使っているところないでしょ
あいかわらずの人工無脳ぶりですね
ちょっと検索をすれば『選出公理』を使っているところぐらいすぐに見つかりますよ
証拠にいくつか挙げておきます
・京都大学のシラバス(2019)
https://kyoumu.kyokyo-u.ac.jp/2019/syllabus/15601351_00_Ja.html
・トポロジーシンポジウム講演(2015)
https://www.mathsoc.jp/~topology/topsymp/2015/ts2015Kuga.pdf
・ガロア理論の教科書(2018)
https://www.saiensu.co.jp/preview/2018-978-4-7819-9951-7/SDB42_sample.pdf