可算無限集合 A = {a_1, a_2, ...,} にたいして、任意の自然数 n について、必ず集合
A_n = {a_1, a_2, ..., a_n}
を作る事ができるというのは選択公理を使わないと言えない事ですか？