>>441
>>427に対し、>>430で「自然数の積は自然数にならないのか?」と問われたので、
「無限積では自然数にならない」と解答した。
これにより>>427の演繹は正当と分かり、
P-{2}∉Qであり、従ってP-{2}∈PPと併せて、
PP⊂Qは偽と結論される。
即ち>>402-403の演繹は正当性を失う。