この記事では、なんで証明中の選択公理が目立つのかについて考えていきます。
ZFCの公理の一覧は この記事 にあります。
自然数全体
たとえば
集合論、一般位相空間論以外はあまり使わない印象。
集合論以外はあまり使わない印象。
集合の存在はわかるけど一意性が言えるとは限らない。
一般の数学でもたまに使う。
外延性公理は部分集合を示すことを伝えればよく、基礎の公理、選択公理以外の公理はなにかしらの集合を定義して、定義した記号に公理の役割を丸投げすることがほとんどです。
さらに、置換公理図式や基礎の公理は普通の数学では出番が少ないです(使わないわけではない)。
一方、選択公理は、なにかしらの集合の存在はわかっても一意性が言えないため、和集合や冪集合のような定義した記号に公理の役割を丸投げすることができません。
結果的に、選択公理を使うときは「選択公理(と同値な命題)より」と書くしかないため、他の公理と比べて目立ってしまうと推測しています。