アイリスの完全性定理

「この世界は終わらない、わたしがわたしで在る限り。」永遠のいのちを求める物語。

Page Top

Proof

序章.sigma1のその先は

01P--11P--21P--...

あやめは途方に暮れた。弟の病気を治すべくずっと追い求めていた“魔女”の居所を突き止めたと思ったのに、 目の前で何者かに拐われてしまったのである。

一章.きみと結ぶ対角線

01P--11P--21P--...

傭兵の男はエルガーと名乗った。当面の目的が一致したために協定を結ぶこととはなったが、おそらく魔女アニマを拐ったのは教皇庁である。さらに、追っ手として表れたソーマ、村の少年ディートリヒらを加えて旅は続く。

二章.悪と正義の連続体仮説

01P--11P--21P--...


閑話.「第一話」

01P--11P--21P--...

あやめが助けた傭兵の男は、エルガーと名乗っていた。確かにそのはずだった。今ではもう遠い「過去」の記憶であり、長すぎる旅を続けてきたあやめの記憶は定かではない。

三章.虚ろなアイよ永遠に

01P--11P--21P--...


四章.アイリスの完全性定理

01P--11P--21P--...

王国歴2109年、三の月。

終章.超数学的帰納法

01P--11P--21P--...

1. P(1) が成り立たないことを示す。
2. 任意の自然数 k に対して、「¬P(k) ⇒ ¬P(suc (k) )」が成り立つことを示す。
1と2の議論から任意の自然数 n について P(n) が偽であることを結論づける。


Lemma

番外編タイトル
01P--11P--21P...

illust

01, 02, 03, 04, 05

comic

01, 02, 03

voice drama

01, 02, 03


Def

(リニューアル中…)