日本人が n(人) のとき人殺しをしてはいけない。 ・・・�@

(i) n = 1 または 2 のとき,人殺しをすると日本人が滅亡するので �@ は成り立つ。
(ii) n = k のとき,�@ が成り立つと仮定すると
 n = k+1 のとき,つまり日本人の赤ちゃんが1人生まれたとし,
 この赤ちゃんを誰かが殺す場合を考える。この場合,赤ちゃんの母親が自殺
 して,間接的に赤ちゃんを殺した犯人が母親を殺したことになる。
 よって n = k の仮定に反するので n = k+1 のときも �@ は成り立たねばならない。

(i),(ii) より,全ての自然数 n について �@ は成り立つ。