＞つまり
＞P(n)
＞-----
＞∀n P(n)
＞ですね

その推論規則　「個別のnと認識して」ないよ

なぜ「個別のｎと認識」なんて妄想した？

いってごらん