>>この対偶命題：
>>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
は
>「Nが有限集合で無いからQ^Nは存在しない」
と言いたかったとのことだが
デカルト積を定義できないのは有限個でない時
と
有限個でない時デカルト積は定義できない
を混同しているのと
デカルト積を定義するのは（普通は）有限個のときに限る
のだから
Q^Nはデカルト積と呼ばないのが普通であって
それとは別の定義のものであるとは思い至らないらしい
定義を勝手に拡張して「デカルト積」と呼び
それは（通常の定義から）存在しないとするのは
さすがストローマンの使い手だな