アイリスの完全性定理

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

Page Top

Proof

序章.sigma1のその先は

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

n=kとする。

一章.きみと結ぶ対角線

01P--11P--21P--31P--41P--51P--61P--71P...パラドール教皇庁編
81P--91P--101P--111P--121P--131P--141P...回帰の雫編
151P--161P--171P--191P--191P--201P--211P--221P--231P…周公国編
241P--251P--261P--271P--281P--291P…軸帝国編

「わたしも、エルガーが好きっ!」ここから物語を始める決意をしたあやめ。最大の仇敵はアクシニミリア帝国。

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

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

番外編
01, 02, 03, ...
voice drama-01, 02, ...-log-01
image song

illust

01, 02, 03, ...

neta

01, 02, 03, 04, 05, 06, 07, ...


Def

(リニューアル中…)