アイリスの完全性定理

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

Page Top

Proof

序章.sigma1のその先は

01P--11P-21P--31P--41P--51P--61P--


一章.きみと結ぶ対角線

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, 06

comic

01, 02, 03

voice drama

01, 02, 03


Def

(リニューアル中…)