「カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている」
と
Q^NがどういうものかZFで定義できるというのとはまるで別のことではないかな