>>176
>このようなことは言っていない。

>この命題が真であるとすると
>yが完全数でないということが確定するからおかしいと書いた。

いやいや、まんま言ってるじゃんw
「この命題が真であるとすると」とは

・「P⇒Q」という命題が真であるとすると

という意味だろ?
で、「yが完全数でないということが確定するからおかしい」とは

・「Q」が真であることが確定するからおかしい

という意味だろ?つまり、全体として君が言ってることは

・「P⇒Q」が真なら、「Q」も真であることが確定、つまり
  yが完全数でないことが確定するからおかしい

ということだろ?でも、君のその論法は間違ってると言ってるんだよ
「P」と「P⇒Q」がともに真でなければ、「Q」が導出できないからね