>>164
＞これが真であるというのだったら
＞yは完全数ではない。

間違っている

「0y≠0⇒yが完全数でない」という命題は
「P⇒Q」という形をした命題にすぎない
ここから「Q」を導くには、「P⇒Q」のほかに「P」が必要
つまり、「P」と「P⇒Q」がともに真でなければ、「Q」を導出できない

今の場合だと、もし「0y≠0」と「0y≠0⇒yが完全数でない」が
ともに真ならば、「yが完全数でない」も真ということになる
しかし、「0y≠0」は偽なので、この論法は使えない
それでもなお、「0y≠0⇒yが完全数でない」という命題の方は正しいまま