>>148
(引用開始)
>「Nが有限集合で無いからQ^Nは存在しない」
と言いたかったとのことだが
デカルト積を定義できないのは有限個でない時
と
有限個でない時デカルト積は定義できない
を混同しているのと
(引用終り)

中高一貫生も来るから ハッキリと赤ペン書いておくよ

冪集合公理では、無限デカルト積を定義できないと
無限デカルト積が 存在しないとを混同していますよ

つまり、なんらの選択公理がない（可算選択公理さえない）
ZF公理系では Q^Nは否定も肯定もできない
つまり、Q^Nの存在を証明するための公理の強度が不足している

そこ（ZF）に 可算選択公理ACωを追加すれば
Q^Nは 証明できる

”有限個でない時デカルト積は定義できない”って
勉強不足（>>149）