>>198
>>172の記述で　論理式の箇所は
∃ｘ∈N∀ｙ＞ｘ⇒P(y)　だけじゃね？

上記はバカ丁寧に書くと
∃ｘ.ｘ∈N＆∀ｙ.（（ｙ∈Ｎ＆ｙ＞ｘ）⇒P(y)）
となる　これ論理式知ってる人なら常識の記法