数学的帰納法

(1) P(1) が成り立つ
(2) ∀k [P(k) ⇒ P(k+1)] が成り立つ
∀の n のP(n) 成り立つ

論理記号学で書くと、上記のようになります。

私は、[∀k P(k) ⇒ ∀k P(k+1)] と勘違いしていました。