例えば、微分積分で、「有界実数列は収束する部分列を持つ」という定理の証明で、
選出公理は使われていますか？使われていませんか？