n=kとする。
「わたしも、エルガーが好きっ!」ここから物語を始める決意をしたあやめ。最大の仇敵はアクシニミリア帝国。
戦いの果てにあやめたちは宿敵を打倒した。つかの間の平和な日々が訪れるが…。
「わたしがここまで歩いて来たのは、こんなことのためじゃないッ!! このものがたりを始めたのはわたしじゃない!」
王国歴2109年、三の月。果てしなく続く軸帝国戦線。時の暴君は制圧した農村で、息も絶え絶えなまでに凌辱された少女に出逢う。生命力の爛々と迸る紫の瞳は語る。
1. P(1) が成り立たないことを示す。
2. 任意の自然数 k に対して、「¬P(k) ⇒ ¬P(suc (k) )」が成り立つことを示す。
1と2の議論から任意の自然数 n について P(n) が偽であることを結論づける。