>>197 １点余談と補足

>>172でね

”∃ｘ∈N∀ｙ＞ｘ⇒P(y)　” ＆ ”→P（ｎ）”

これな

”ｘ∈N”って書き方がさ、普通 ”ｘ,ｙ,ｎ∈N”と最初に定義すると思うんだよね、注意深い人は（＾＾

で、”ｘ∈N”だけだと、”ｙ,ｎ”は何だと？

まあ、院試なら、減点じゃないかな、これ？（＾＾

余談だが、ピエロくん、院試落ちたんだろう？（＾＾