もしかすると>>1は皆の指摘の意図を理解できていないかもしれないから改めて書いてみる

>>1の主張は
n≡1,p≡1(mod 4)
F=「(p+1)/2のもつ素因数だけがp^(n-1)+p^(n-3)+…+1の素因数となる」(Fは命題)
y=p^n*Π(p_k)^(q_k)に対し
①「F⇒yは完全数ではない」
ここまでは異論ないはず

そして他の人の指摘は
②「Fを満たすp,nは存在しない」(根拠は>>294、細かい議論は>>383など)
この指摘が意味するところは
③「常に偽となる命題を仮定して導いた結論には意味がないので、①には意味がない」(論理学の初等的な話)

>>1がこの指摘を数学的に否定するには次を示すしかない
④「294は正しくない。つまり、Fを満たすp,nが存在する」

具体的には、1組でも存在することが言えればいいので
⑤「Fを満たすp,nを1組書き込む」
だけでよい
(何度もこれを要求されているが「命令するな」という謎の理屈でスルー)

以上の①～⑤に対し反論等あったら書いてみなよ