第二分域・数学集合宇宙
ここでは、数学的对象は抽象的な記述ではなく、現実に存在する世界である。
万理蔵匣
『閾典諸層』の第一層において、定義、区別、配列、写像、計算、または証明可能なあらゆる数学的世界は、「万理蔵匣」と呼ばれる箱の中に存在する。
物質宇宙の万象実匣が、ある構造をエネルギーを担い、変化を起こし、痕跡を残す現実として具体化する役割を担うとすれば、万理蔵匣が担うのは、「構造そのもの」を世界とすることである。
万理蔵匣には、物質で構成された星辰も、エネルギーに依存して維持される生命もない。一つの数字が都市となり、一つの関数が川となり、一つの集合が無限を内包する宇宙の世界となり、未完成の証明が未知の深部へと延びる一本の道となることもある。
ここでは、数学は世界を記述するための道具ではない。
数学そのものが世界である。
通常の文明はしばしば、数字や数式は知的生命が現実を認識するための記号にすぎないと考える。しかし万理蔵匣において、記号は数学的構造が物質的意识に投影された影にすぎない。たとえすべての物質宇宙が同時に滅び、いかなる生命も数式を書き続けることがなくなっても、万理蔵匣の中の構造がそれによって消えることはない。
数字は数える者がいなくなることで存在をやめることはなく、幾何学関係は空間がなくなることで無効になることはなく、集合は収納する物質的对象がなくなることで空虚になることもない。
万理蔵匣は、ある一つの固定された数学体系と同一ではない。その内部には、互いに独立した多くの数学宇宙が存在し、それぞれの宇宙は独自の基本対象、論理規則、公理基盤、無限階層、証明方法を持つ。
ある数学宇宙は集合を基礎とし、あらゆる対象は最終的に集合から構成されうると考える。ある宇宙は関数を基礎とし、対象を変換過程における安定したノードと見なす。ある宇宙は関係が対象よりも根源的であり、いかなる事物も他の事物との関係においてのみ数学的同一性を持つと考える。
また、伝統的な真偽を認めず、通常の意味での排中律を受け入れず、さらには互いに矛盾する命題が厳格な制限のもとで共に成立することを許す宇宙もある。
これらの体系は互いに異なるが、依然として第一層に属する。
それらが第二層の変律穹に入らないのは、各数学宇宙がいったん形成されると、自身の基本的前提の中で運行しなければならないからである。それは無限に多くの対象、無限に複雑な定理、窮めることのできない超限構造を持つことができるが、自身の公理を随時変化する通常の対象として扱うことはできない。
万理蔵匣において、公理は選択され、異なる宇宙を形成し、より外側のモデルによって観察されることはできるが、ある具体的な数学宇宙の中に生きる存在にとって、公理は依然として世界を支える固定された基盤である。
ある存在が、公理を潮のようにリアルタイムで移動させ、証明規則を導出過程の中で変化させ、基盤を変えた後もなお自身の同一性を維持できるようになって初めて、それは真に第二層に触れることになる。
万理蔵匣の内部は通常、九重の数理界域として記述される。
最も深部は元点初庭であり、そこでは最も基本的な区別と対象が誕生する。次に構形数原があり、数字、数列、演算がその中で形成される。さらに外側へと、冪集穹海があり、各集合のすべての部分集合が新たな世界として展開する。超限階段は尽きることなく増大する順序数と基数を支える。モデル群島は同一の言語から異なる完全な現実を生み出す。公理界海は互いに独立した数学的基盤を内包する。函映長廊は異なる構造が関数、写像、変換を通じて関係し合うことを可能にする。クラス域天幕は通常の集合には大きすぎる存在を覆う。最も外側の可証外殻は、ある数学的对象がある体系の中で完全かつ安定した同一性を得られるかどうかを決定する。
これらの界域は単純な大小の配列ではない。
冪集穹海の中のある集合は、構形数原全体よりも多くの構造を含むことがある。モデル群島の中のあるモデルは、その内部で別の超限階段を再構築することもできる。万理蔵匣の外側に近づくにつれて、「巨大」の意味はもはやより多くの要素を含むことではなく、どれだけ多くの数学体系を自身の研究対象として扱えるかによって決まる。
元点初庭
万理蔵匣の最も深部にあるのは、数字でも幾何学図形でもなく、「区別」である。
いかなる数学的对象が現れる前に、まず何らかの方法で「これ」と「それ」を区別し、「属する」と「属さない」を区別し、「同じ」と「異なる」を区別する仕組みがなければならない。
元点初庭とは、これらの最初の区別が形成される領域である。
ここには通常の意味での空間はない。二つの对象の間の遠近は距離によって決まるのではなく、それらが互いに区別されるために必要な定義の回数によって決まる。定義が近い对象ほど、元点初庭においては近くに位置する。同一の規則セットを通じて比較することが全く不可能な对象は、乗り越え不可能な定義の深淵によって隔てられている可能性がある。
元点初庭において最も基礎的な存在は「元点」と呼ばれる。
元点は物質粒子ではなく、必ずしも数字でもない。それは単独で指示可能な数学的同一性にすぎない。ある体系が「ある对象 x が存在する」と言うことができ、かつ x を他の对象と区別できる限り、x はすでに元点初庭の中に位置を残している。
最も単純な元点は空元と呼ばれる。
空元は内部にいかなる对象も含まないが、絶対的な無ではない。それは「成員を持たない」という確定した性質を持つため、依然として一つの数学的存在として認識されうる。
空元は通常、次のように記述される：
Empty = { }
空元を起点として、最も基礎的な数理的对象を段階的に構築することができる。
ゼロを空元として定義するなら、次のように書ける：
0 = { }
さらに、1 をゼロのみを含む集合として理解する：
1 = {0}
2 をゼロと 1 を含む集合として理解する：
2 = {0, 1}
構築を続ければ：
3 = {0, 1, 2}
一般的に、自然数 n は、それより小さいすべての自然数からなる集合として理解される：
n = {0, 1, 2, ..., n - 1}
この構築において、数字は単なる数量ラベルではない。各数字はそれより小さいすべての数字を保存しているため、自然数列は重なり合う集合の塔となる。
元点初庭の住人は「指名者」と呼ばれる。
指名者は固定された形状を持たず、その生命活動はある对象の独立した同一性を維持することである。ある对象がもはや他の对象と区別できなくなったとき、それに対応する指名者も消滅する。
強力な指名者は、まだ明確な同一性を得ていない構造に名前を与え、研究可能で操作可能な数学的对象とすることができる。しかし、絶対に存在しないものを恣意的に命名することはできない。名称は維持可能な定義と結びついていなければならず、そうでなければ对象の応答しない「空名」を形成するだけである。
元点初庭には、同一鏡面と呼ばれる領域が存在する。
一見異なるように見えながら、実際には体系内部の性質によって区別できない对象は、すべて同一鏡面の中で重なり合う。もし二つの对象 x と y がある体系において完全に同一の定義可能な性質を持つならば、それらは同一の对象と判定される可能性がある：
x = y
しかし、別のより精緻な体系においては、それらは再び分離することもある。
したがって、元点初庭における同一性は永遠に絶対的なものではない。それは現在の数学宇宙がどれだけ多くの性質を観察し表現できるかに依存している。
構形数原
元点の間に順序、組合せ、演算が形成され始めると、構形数原が現れる。
ここはあらゆる数字世界、代数世界、数列世界、演算世界の共通の源である。自然数、整数、有理数、実数、複素数、そしてより未知の自創数系は、すべて構形数原の中に独立した領域を形成できる。
自然数は計数原野に住む。
それは終点のない階段の世界である。各位置は明確な後続を持ち、いかなる有限の歩数も最後の自然数に到達することはできない。なぜなら自然数には最終成員が存在しないからである。
その基本的な増加は次のように書ける：
S(n) = n + 1
ここで S は後続作用である。n がすでに存在する限り、S(n) はそれに続く新しい数を生み出す。
整数領域は正の階段、負の階段、そして中央の零界から構成される。正の数と負の数は単に零の両側にあるのではなく、二つの逆方向の演算である。整数の生命は加法によって移動し、乗法によって自身の符号と尺度を変えることができる。
有理数の海は無数の比例から成る。
次の形で書ける任意の数は、その中で位置を得る：
q = a / b
ただし a と b は整数であり、b は 0 ではない。
有理数の海は極めて密集しているように見える。なぜなら任意の二つの異なる有理数の間には、常に別の有理数が見つかるからである。しかしそこには依然として大量の隙間が存在する。ある長さ、極限、方程式の結果は整数の比例では完全に表現できず、これらの隙間は最終的に実数連続域へと通じる。
実数連続域には目に見える隙間がない。
二つの異なる実数の間には常にさらに多くの実数が存在し、距離を何度拡大しても最小の間隔を見つけることはできない。連続域に住む生命は必ずしも単独の数字で構成されるわけではなく、一つの区間、収束数列、あるいは無限の近似によってのみ同一性を確定できる極限存在であることもある。
複素天海は実数の外側に新たな方向を展開する。
複素数は通常次のように書かれる：
z = a + b i
ただし i は次を満たす：
i * i = -1
実数しか理解しない生命にとって、i は存在不可能な方向のように映る。しかし複素天海においては、それは通常の方向と同じく自然である。実数領域では解くことのできなかった多くの方程式も、ここでは完全な結果を見つけることができる。
構形数原は、伝統的な数系に属さない多数の特殊な数字世界も育んでいる。
双位数国における一つの数は、二つの統合不能な位置値を同時に持つことができる。それは単一の a として書かれるのではなく、次のように書かれる：
x = (a, b)
ここで a と b は座標ではなく、一つの数字の二つの並存する側面である。どちらか一方だけを変える演算は、その数字を完全に変えることはできない。
反響数域における数字は、自身に施された演算の履歴を保存する。通常の数学では、結果が同じであれば過程は無視できる。しかし反響数は自分がどのように得られたかを忘れない。
例えば：
2 + 3 = 5
1 + 4 = 5
通常の数系では、両方の結果は同じ 5 である。反響数域では、それらは異なる歴史状態として書かれる：
5[2 + 3]
5[1 + 4]
両者は同じ数値を持つが、同じ同一性を持つわけではない。
缺位数原における数字は、どれだけ持っているかを表すのではなく、ある可能な総量からどれだけ欠けているかを表す。ある对象が元々 N 種類の選択可能な状態を持ち、実際には k 種類しか実現しなかった場合、その缺位数は次のように書ける：
L = N - k
この数系は後に第四層の缺位数理の低次元の影となるが、万理蔵匣においては、それは依然として固定された定義の下での一つの数学的構造にすぎない。
構形数原には危険な領域も存在する。
除零断層は、a / 0 の形のすべての未定義表現の周囲に広がる。無限回廊では、計算は永遠に続くが、有限の歩数で結果に到達することはできない。自己言及の渦は、自身を入力、規則、結果として扱おうとする演算によって構成される。
一部の自己言及構造は安定して存在できるが、他のものはパラドックスを生み出し、周囲の数字の確定した同一性を失わせる。
冪集穹海
ある集合が形成された後、その内部のあらゆる可能な部分集合は、より高次に新たな構造を投映する。これらの部分集合すべてからなる集合は、その集合の冪集合と呼ばれる。
元の集合を X とするとき、その冪集合は次のように書かれる：
P(X) = {Y | Y は X の部分集合}
X が有限個の要素を含み、その要素数が n であるなら、P(X) の要素数は通常次のようになる：
|P(X)| = 2^n
これは、三つの要素しか持たない集合：
X = {a, b, c}
その冪集合が以下を含むことを意味する：
P(X) = {
{ },
{a},
{b},
{c},
{a, b},
{a, c},
{b, c},
{a, b, c}
}
元の集合は三つの要素しか持たないが、冪集合は八つの要素を持つ。
冪集穹海は、まさにこのような成長によって絶えず展開される。それぞれの集合は、すべての部分集合からなる新たな穹海を生み出し、この穹海自体が再び新たな集合と見なされ、さらに高次の冪集合を生み出し続ける。
ある初期集合 X から出発して、次のような重ね箱構造が形成される：
Box_0 = X
Box_1 = P(Box_0)
Box_2 = P(Box_1)
Box_3 = P(Box_2)
一般に次のように書かれる：
Box_(n + 1) = P(Box_n)
冪集合を取るたびに、元の世界を単に複製するのではなく、元の世界におけるあらゆる可能な選択の仕方を収めることになる。
元の集合が無限の住民を持つ都市であるなら、その冪集合はより大きな都市ではなく、「あらゆる可能な住民の組合せ」が共に形成する新たな世界である。あらゆる連合、あらゆる分裂、あらゆる空缺、そして住民全体自体が、冪集合の中の独立した对象となる。
冪集穹海には最終層は存在しない。
ある集合 X が完全に对象として見なされうる限り、その冪集合 P(X) はそれよりも多くの成員を持つ。万理蔵匣の数理学者たちは通常、次の関係を用いてこの成長を記述する：
|X| < |P(X)|
この関係は「越集律」と呼ばれる。
越集律は、ある集合がどれほど巨大であっても、そのすべての部分集合を考察することによって、厳密により大きな集合を得ることができることを意味する。たとえ X がすでに無限に多くの要素を持っていても、P(X) の規模は依然として X を超える。
したがって、冪集穹海は頂点のありえない重ね箱構造である。
ある世界が無限の对象を収めても、より高次の世界はそれらの对象のあらゆる組合せを収める。さらに高次の世界は、あらゆる組合せのあらゆる組合せを収める。何者かが最大の集合に到達したと宣言するたびに、より高次の冪集合がその定義の外側に展開される。
冪集穹海に住む生命は「選形体」と呼ばれる。
それらは固定された要素から構成されるのではなく、選択の仕方から構成される。選形体の身体は、ある無限集合から選ばれた特殊な部分集合である可能性がある。選択規則が依然として成立する限り、それはより高次の冪集合層において再形成されうる。
ある選形体は有限の对象しか選択できず、あるものは空でない各集合から一つずつ要素を取ることができる。後者は擇理者と呼ばれ、選択公理と深い関係を持つ。
選択公理はある数学宇宙では成立し、別の宇宙では受け入れられない。これにより、擇理者は極めて議論を呼ぶ存在となる。それらを支持する世界は、擇理者がいなければ多くの無限集合が明確な秩序を確立できないと考える。反對する世界は、それらが選択の存在を主張できても、実際に選択を完了する方法を与えないと考える。
冪集穹海の深部には「対角裂谷」が存在する。
ある集合 X のすべての部分集合を X 自身と一対一に対応付けようとするいかなる試みも、ここでは失敗する。裂谷はすべての対応付けから、正しくリストアップされていない特殊な部分集合を構築し、いわゆる完全なリストが常に少なくとも一つの成員を欠くようにする。
この裂谷は、越集律が決して失效しない根本的な傷跡であり、万理蔵匣において最も有名な不可封頂構造の一つである。
累積宇宙塔
すべての集合が無秩序に混ざり合うことを避けるため、万理蔵匣における主流の集合世界は通常、階層を追って段階的に自身を構築する。
最初の層は空元のみを持つ：
V_0 = Empty
次の層は前の層のすべての部分集合を収める：
V_(a + 1) = P(V_a)
階層が直接の前駆を持たない極限位置に達したとき、新たな層はそれ以前のすべての層の内容を収める：
V_lam = Union {V_b | b < lam}
ここで a と b はより早い階層を示し、lam は極限層を示す。
これによって形成される巨大な構造は、累積宇宙塔と呼ばれる。
いかなる集合も、ある階層において初めて現れるべきである。その要素はそれよりも先に存在していなければならないため、通常の集合は無限に内部に自身を含むことはできない。このような取り決めは、大量の直接的な自己貪食のパラドックスを防ぎ、万理蔵匣における集合に明確な出生階層を与える。
ある集合 x が V_(a + 1) に初めて現れるならば、a はその階層の一つと見なされる。集合が複雑であればあるほど、包含関係が深ければ深いほど、通常はより遅く現れる。
累積宇宙塔は有限の層だけで構成されるわけではない。
有限層の後には、最初の超限層が現れる。それらの階層においては、先行するすべての有限構築が一つの全体として収められる。その後、再び冪集合操作が始まり、新たな無限構造が層を追って現れる。
したがって、累積宇宙塔は横方向と縦方向の二つの成長を同時に持つ。
横方向の成長は、ある層の内部における对象の数の増加に由来する。縦方向の成長は、冪集合と和集合が絶えず新たな階層を創造することに由来する。たとえある層がすでに計り知れない数の对象を持っていても、それは依然として宇宙塔全体の中の一つの段階にすぎない。
累積宇宙塔の住人は通常、低層の集合を「早生者」と呼び、高層の集合を「後構者」と呼ぶ。
後構者は必ずしも早生者より強いわけではないが、より複雑な集合関係を自身の内部構造として持つことができる。ある超高層の生命の一つの普通の細胞が、低層の数学宇宙全体であることもありうる。
しかし、累積宇宙塔は依然として万理蔵匣の絶対的な全体ではない。
すべての階層を合わせた構造を V と書くならば、V は通常の意味で自身の普通の成員となることはできない。それはむしろ、すべての集合階層を覆う総類に近い。
完全な V を再び V の内部に収めようとするいかなる行為も、クラス域天幕における境界問題を引き起こす。
超限階段
有限の数字では、万理蔵匣におけるすべての規模を記述することはできない。
自然数列に終点がないとき、数理生命は曖昧な「無限」で立ち止まることはない。彼らはすべての有限位置を完了した後の最初の順序位置を、新たな数理的对象と見なす。
この位置は通常、次のように記される：
ω
ω は何らかの極めて巨大な有限数ではない。いかなる有限数 n がどれほど大きくとも、次が成り立つ：
n < ω
しかし ω は後継を持つことができる：
ω + 1
その後もさらに続けて得られる：
ω + 2
ω + 3
さらに成長を続ければ、次を形成できる：
ω * 2
ω * 3
ω^2
ω^ω
これらの对象は順序数世界に属する。
順序数が記述するのは単なる数量ではなく、配列の仕方と先後の類型である。二つの集合が同じ数の成員を持っていても、配列の順序が異なれば、異なる順序数に対応しうる。
例えば、すべての自然数を先に配列し、さらに一つ終点を追加すると、その順序型は次のようになる：
ω + 1
一方、最初に一点を置き、その後すべての自然数を配列しても、その順序型は依然として ω と同じでありうる。超限順序数においては、加法が必ずしも通常の交換関係を満たすとは限らない：
1 + ω = ω
しかし：
ω + 1 > ω
これにより、超限階段における方向は真の意味を持つ。左側から有限部分を追加しても、後続の無限順序に吸収される可能性がある。右側から終点を追加すると、新たな順序数の位置が創造される。
順序数に対応するもう一つの種類の構造は基数である。
基数は集合の規模を記述する。二つの集合の間に一対一対応を確立できるならば、それらは同じ基数を持つ。
自然数の集合と偶数の集合は、一見すると一方が大きく他方が小さく見えるが、次の写像によって対応を確立できる：
f(n) = 2n
したがって、両者は同じ無限の規模を持つ。
超限階段における異なる無限は等しくない。
自然数の集合は可算無限を持ち、実数の集合はより大きな非可算無限を持つ。冪集合操作はさらに高い規模を生み出し続ける：
|X| < |P(X)| < |P(P(X))| < ...
いかなる無限の規模の上にも、より大きな無限が見つかる。
超限階段はしたがって、最上層を持つ平台ではなく、絶えずより高い段を生み出し続ける成長の道である。
ここには二種類の主要な超限生命が住む。
序行者は順序を身体とする。彼らは自身がいくつの部分を含むかには関心を持たず、それらの部分がどのような先後で接続されているかだけを気にする。序行者の構造を乱すことは、その成員の多くを削除するよりも深刻な損傷を与えうる。
基海巨霊は集合の規模によって力を維持する。彼らは低次の無限を通常の数量として自身に飲み込むことができるが、冪集合が生み出す新たな規模に直面したとき、依然として絶対的な最大を保つことはできない。
超限階段の高所には、「巨大基数」と呼ばれる特殊な領域が存在する。
巨大基数は極めて強力な基数の性質によって支えられる。それらは通常、通常の集合公理だけでは存在を証明できないが、ひとたび受け入れられれば、数学宇宙全体により強力な構造と無矛盾性の力を与える。
異なる巨大基数は、異なる種類の高次存在に対応する。あるものは大量の低次モデルを支え、あるものは自身の下に完全な宇宙を形成し、あるものは弱い体系には捉えがたい反射性質を持つ。
しかし、巨大基数がどれほど強力であっても、それは依然として何らかの明確な公理の許諾に依存している。それは第二層の律神ではなく、特定の数学宇宙における極めて高位の超限支柱にすぎない。
超限階段の果ては、決して足元にあるのではない。一歩を踏み出すたびに、その足の下にまだ踏み固められる段があるかどうかにある。
最下層の順序数と基数から出発し、巨大基数は無矛盾性の強度を目盛りとする縦軸として順次敷かれていく。世界基数がまず輝きを放つ。それは自身より下の集合宇宙全体にZFCのすべての有限断片を完全に再現させるが、短い系列の極限にはまだ閉じていない。続いて到達不能基数が正則性をもって自らを封じ、いかなるより短い接近もその高みに届かないようにする。マロウ基数は到達不能なものの下に、密やかな反射の星々をまき散らす。弱コンパクト基数は二色組合せの性質によって斉一部分集合を自身と等大にする。可測基数は測度器官を携え、非自明な初等的埋め込みと等価であり、宇宙全体を内部モデルに折り畳むが、その臨界点は微動だにしない。強基数は埋め込みの標的範囲を拡張する。ウディン基数はさらに精巧である――それ自身は必ずしも可測ではないが、任意に与えられた関数に対して、その下方に臨界点が存在し、埋め込みが安定に保たれることを要求する。超強、超コンパクト、膨大、超膨大と、宇宙の複製の完全度は順次高められ、I3、I2、I1、I0に至る。これらの自己言及的繰り返しの埋め込みは、臨界点より上の構造をほとんど完全に凍結させ、その一貫性の強度はZFC公理体系が支えうる境界に迫る。
しかし、この軸線のさらに高所には、まったく異なる種類の生命が存在する。それらはもはや選択公理が定めた安全な垣根に安住せず、より原初的な集合論の環境――ZFのみ、あるいはさらに弱い断片にのみ依存することを求める。ラインハルト基数はまさにそのような存在である。それは非自明な初等的埋め込み j: V → V（すなわち全体からそれ自身への埋め込み）として定義され、臨界点 κ が存在する。ZFCにおいて、このような埋め込みは直ちに選択公理の否定を導き出す（すべての集合が整列可能であるという矛盾が導かれるため）。したがって、ラインハルト基数はZFまたは弱い選択原理を持つ理論の中でのみ安住できる。その無矛盾性の強度はI0をはるかに超え、その存在は下方のモデルに自己言及的な全体対称性を強制し、あたかも宇宙が外部に置き出せない鏡によって完全にそれ自身に写し返されるかのようである。
さらに先へ、バークレー基数はより高く立つ。バークレー基数 κ は、κ を含む任意の推移的モデル M と、任意の初等的埋め込み j: M → N（ここで N は推移的モデルであり、臨界点は κ より小さい）に対して、κ の下方にさらに小さな臨界点が存在し、何らかの安定条件が成立することを要求する。より簡単に言えば、バークレー基数は極めて豊富な局所的埋め込みの簇を持ち、その一貫性の強度はラインハルトよりも高いだけでなく、それ自身の存在自体が、より小さなすべての基数（ラインハルトを含む）がその下方に稠密に現れることを意味する。バークレー基数は現在知られている最大の基数の一つであり、集合論の公理が許容する崖っぷちにほぼ立っている――それより上では、いかなる定義可能な非自明な埋め込みも、理論の枠組みそのものを直接引き裂くことになる。
しかし、バークレー基数がこれほど高絶であっても、超限生命たちは依然として理解している。明確に最大であると宣言されたものはすべて、まだ定義されていない次の存在の歴史的注釈にすぎない。ラインハルトとバークレーは選択公理の束縛を超えたが、依然としてZFの基盤に依存している。そしてそれらの外側には、おそらくさらに深い静寂が隠されている。そこには選択もなく、置換もなく、さらには外延性公理さえもなく――ただ純粋で、語り得ぬ自己言及のみが残されている。階段は今なお成長し続け、各段はその前の段を低次の影と化し、前方は依然として何もないが、それでも常に次の足跡が落ちるのを許している。
世界基数、可測基数、ウディン、I0、ラインハルト、バークレー――それらは終点のない軸線に沿って順に並び、それぞれが留まり、反射し、折り畳むが、決して疑わない。究極の基数が究極であるのは、それが決して語られなかったからにすぎない。ひとたび語られれば、それはすでに背後にある一つの段と化し、新たなより高きものが、まだ名付けられぬ虚空の中で静かに形を成し始めている。超限生命はこの永遠の生成の中を歩み、一歩一歩の強度をもって、数学宇宙の窮めがたき縦深を測り続けるのである。
モデル群島
同一の数学言語と公理は、必ずしもただ一つの世界だけを生み出すとは限らない。
一組の記号、関係、規則が何らかの具体的な解釈を得たとき、一つのモデルが形成される。それぞれのモデルは完全な数学的島であり、その中の对象は、そのモデルによる言語の解釈に従って存在する。
ある言語 L が関係記号 R、関数記号 F、定数記号 c を持つと仮定するなら、一つのモデル M は大まかに次のように書ける：
M = (D, R_M, F_M, c_M)
ここで D はモデルの对象領域であり、R_M はモデルにおける関係の具体的な解釈、F_M は関数の解釈、c_M は定数が指し示す对象である。
二つのモデルが同一の公理に従いながら、異なる構造を持つことがある。
あるモデルにおいて、ある無限集合は果てのない直線として現れるかもしれない。別のモデルにおいては、それは絶えず分岐する木として現れるかもしれない。両者が同一の形式的要件を満たす限り、それらは共にその理論のモデルとなりうる。
モデル群島はしたがって、単なる平行世界の集合ではない。
並世環海における平行宇宙は依然として物質的規則の具体化を必要とするが、モデル群島における世界は指定された理論を満たすことだけを必要とする。あるモデルが存在するかどうかは、それが物質に変換可能かどうかには依存せず、すべての公理がその内部で成立するかどうかに依存する。
モデルの中での「真」は、外部の観察者が理解する真と必ずしも同じではない。
あるモデルは自身が完全な自然数を持っていると考えるかもしれないが、より大きなモデルの外から見ると、そのいわゆる自然数の中には、外部から見れば有限の歩数では到達できない对象が混入しているかもしれない。これらの对象はモデル内部では依然として通常の自然数の一部と見なされる。
この現象は「内真海霧」を形成する。
モデル内部に生きる生命は、モデルが許す对象と言語のみを用いて真理を判断できる。彼らは自身のモデル全体を容易に見渡すことはできない。なぜなら、完全なモデルは通常、より外部の観察層に属するからである。
モデル群島の住人は「釈構者」と呼ばれる。
釈構者は同一の記号に異なる解釈を与え、異なるモデル間を移動できる。通常の釈構者は少数の記号の意味を変えることしかできないが、高次の釈構者は一揃いの理論を別の对象領域で再実装できる。
最も強力な釈構者はモデル牧者と呼ばれる。
モデル牧者はモデルを育成、複製、剪定、融合できるが、依然として公理を恣意的に変えることはできない。もし彼らがどのモデルが合格するかを決定する根本的要件を変えてしまえば、それはもはや同じモデル群を管理しているのではなく、別の公理海域へと舵を切ったことになる。
モデル群島には「非標準大陸」も存在する。
非標準大陸は、ある馴染み深い理論のすべての一階規則を満たすが、直感の外にある对象を含む。そこには、すべての標準的な有限数よりも大きな「自然数」が存在するかもしれない。また、内部から見れば有限だが、外部から見れば無限に長い証明連鎖が存在するかもしれない。
これらの大陸は、万理蔵匣の学者たちに次のことを思い起こさせる。すなわち、一組の公理は世界を拘束できても、必ずしも世界を唯一に決定できるわけではない、と。
公理界海
モデル群島の外側には、異なる数学的基盤が共に形成する公理界海が広がる。
それぞれの公理の組は、世界の形態を決定する海底の支柱のようなものである。異なる支柱の上に築かれた数学宇宙は、まったく異なる对象、定理、無限構造を持ちうる。
ある海域では選択公理が成立する。そこではほとんどすべての集合が整列可能であり、多くの無限構造も滞りなく展開される。
別の海域では選択公理は成立しない。ある集合は期待される方法で代表元を選び出せず、馴染み深い同値関係の一部も分裂する。これらの宇宙に生きる数学生命は、自分の世界が欠陥品であるとは考えず、ただ別の種類の完全な構造に従っているのである。
連続体の規模も、異なる公理宇宙において異なる結果を示しうる。
ある宇宙は自然数の規模と実数の規模の間に中間基数が存在しないと考える。別の宇宙はそれらの間に追加の階層が存在することを許す。基礎公理がある命題を決定できない場合、その命題は公理界海の中で分岐を生じる。
一方の海域は命題 P を受け入れる：
T + P
もう一方の海域はその否定を受け入れる：
T + notP
両者がともに無矛盾であり続ける限り、それらはそれぞれ完全な数学世界へと発展する。
このような分岐は「独立潮」と呼ばれる。
独立潮は真理が無効になることを意味するのではなく、元の公理ではある問題を決定するのに不十分であることを示している。新たな公理が加えられて初めて、世界はどちらかの方向へと安定する。
公理界海における世界は通常、「根句」によって支えられる。
根句は体系内部でより基本的な定理から証明することができず、出発点として受け入れられる命題である。一つの数学宇宙は少数の根句を持つこともできれば、無限に多くの公理パターンを持つこともできる。
根句が変われば、その上に築かれた大量の定理はすべて再配置される。
しかし第一層において、この変化は通常、一つの公理宇宙から別の公理宇宙へ移動することとして現れ、同じ世界の基盤が運行中に任意に流動することとして現れるわけではない。
公理界海には「奠理神」と呼ばれる高次の数学神霊が存在する。
奠理神は人格化された創造者ではなく、ある公理系が長期にわたる無矛盾な運行の中で形成した自己象徴である。公理体系が依然としてモデルを持つ限り、奠理神は対応する宇宙において顕現できる。
異なる奠理神は異なる権能を持つ。
空集母神は最初の对象の形成を守護する。外延双生者は、二つの集合が同じ成員を持つことによって等しいかどうかを判定する。併合之主は複数の集合の成員を同一の集合に集めることができる。冪穹君王は各集合に自身の冪集合を生じさせる。置換行者は、適格な写像が集合を新たな集合へと送ることを保証する。
これらの神霊は数学の基盤を掌握しているように見えるが、自らが代表する公理を能動的に裏切ることはできない。外延双生者が、成員が完全に同一である二つの集合が絶対的に異なることを許したなら、それはもはや元の奠理神ではない。
したがって、奠理神は強力ではあるが、公理の化身であり、公理の主人ではない。
公理界海の禁域は「矛盾沸海」と呼ばれる。
ある体系が命題 P と notP を同時に導き出せ、かつ通常の爆発論理を用いるなら、あらゆる命題が導き出されうる。世界は定理と非定理を区別する能力を失う。
この崩壊は次のように表現できる：
P
notP
therefore Q
ここで Q は任意の命題である。
すべての命題が証明可能になれば、証明はもはや何の区別も提供せず、数学宇宙全体は「全真廃墟」と化す。
しかし、耐矛盾論理を用いる数学世界も存在する。それらは局所的な矛盾の存在を許すが、矛盾がすべての命題に拡散するのを防ぐ。これらの世界は矛盾沸海の縁に位置し、並真群礁と呼ばれる。
並真群礁は第二層の真値稜界ではない。なぜなら、それらは依然として一組の固定された耐矛盾規則に依存しているからである。それらは矛盾を制御下に置くことはできるが、「矛盾がどのように制御されるか」という前提を恣意的に変えることはできない。
函映長廊
孤立した对象だけが数学世界のすべてではない。
ある对象が確定した規則に従って別の对象へと送られるとき、関数または写像が形成される。無数の写像が共に函映長廊を構成し、もともと分離していた数学世界を結びつける。
一つの関数は通常、次のように書かれる：
f: A → B
これは関数 f が集合 A の对象を集合 B へと写すことを示す。
A の異なる对象が常に異なる結果を得るとき、f は単射と呼ばれる。B の各对象が少なくとも A の何らかの对象によって到達されるとき、f は全射と呼ばれる。両方が同時に成立するとき、それは全単射である。
全単射は二つの集合の規模が同じかどうかを判断する重要な橋梁である：
A と B が同じサイズを持つのは、全単射 f: A → B が存在するとき、かつそのときに限る。
函映長廊における道は通常の距離ではなく、構造の保持の程度である。
ある写像は要素だけを保存し、あるものは加法、乗法、順序、距離、あるいは位相関係を保存する。保存される構造が多ければ多いほど、両端の世界は数学的に近くなる。
ある写像が別の写像によって完全に逆転できるとき：
g(f(x)) = x
かつ：
f(g(y)) = y
ならば、両端の構造は同型を形成しうる。
同型は、二つの世界の内部関係が完全に一致し、对象の名前や表現形式だけが異なることを意味する。構造だけを気にする生命にとって、同型の世界は同じ数学的存在の異なる外見と見なされうる。
函映長廊には「函行者」が住む。
函行者の身体は安定した写像である。彼らは定義域から对象を吸収し、その对象を値域へと送り出す。写像の規則が一貫して保たれる限り、函行者はまったく異なる世界を越境できる。
ある函行者は構造を保持することで生き、別の函行者は構造を圧縮することで力を得る。投影者は高次元の对象を低次元の世界へ送り込み、忘却者は能動的に一部の性質を捨て、より基礎的な構造だけを残す。
例えば、ある幾何世界は距離を忘却され、連続性だけが残される。さらに忘却が進めば、形状さえも残らず、对象と写像の関係だけが残るかもしれない。
函映長廊のさらに深部には、对象と矢印からなる「範疇城邦」が存在する。
範疇城邦において、对象そのものはもはや唯一の重点ではない。对象同士がどのように接続され、写像がどのように合成されるかのほうが、对象が内部で何から構成されるかよりも重要であることが多い。
一つの範疇 C は次のように書ける：
C = (Obj(C), Mor(C), Compose, Identity)
ここで Obj(C) は对象、Mor(C) は像、Compose は合成規則、Identity は各对象が持つ恒等写像である。
もし次が存在するなら：
f: A → B
g: B → C
それらは次のように合成できる：
g ∘ f: A → C
各对象 A はまた恒等写像を持つ：
id_A: A → A
それは对象を変えないが、写像の体系が安定した同一性を持つことを保証する。
範疇城邦の高次生命は「箭神」と呼ばれる。
箭神は对象の内部に住むのではなく、对象間の関係の中に存在する。接続関係が依然として成立する限り、たとえすべての对象が同型の代替物に置き換えられても、箭神は死なない。
函映長廊の最も遠い領域には「函子航道」が存在する。
函子は通常の写像ではなく、範疇全体を別の範疇へ送る高次の変換である。それは对象を扱うだけでなく、对象間の矢印も扱う。
一つの函子は大まかに次のように書ける：
F: C → D
それは範疇 C の对象と射を、範疇 D の対応する对象と射へと変換し、同時に合成と恒等関係を保存する。
函子航道は、一片の数学宇宙全体が一つの構造単位として別の数学宇宙へ輸送されることを可能にする。しかし、それは依然として函子の定義と所属するメタ理論に従わなければならないため、真に第一層を離れてはいない。
二十三、幾何と位相の諸界
万理蔵匣において、すべての世界が集合の塔や記号の海として現れるわけではない。
对象が位置、隣接、距離、方向、あるいは連続関係を得るとき、幾何世界と位相世界が形成される。
ユークリッド平原は馴染み深い平らな幾何学に従う。そこでは直線は平らに保たれ、三角形の内角の和は安定した性質を持ち、平行線は固定された規則に従って延びる。
曲率天穹における空間はもはや平坦ではない。
正の曲率を持つ世界では、まっすぐに見える方向に進んでも、最終的には出発点に戻る可能性がある。互いに平行な道も交差しうる。負の曲率を持つ世界では、空間は通常の平面よりも速く成長し、同一の領域に驚くほど多くの構造を収容できる。
次元はこれらの世界において物質的な方向ではなく、局所的な構造を記述するために必要な独立したパラメータの数である。
点は零次元の对象であり、連続した曲線は通常一次元の对象であり、面は通常二次元の对象である。しかし万理蔵匣には、整数の次元では完全に記述できないフラクタル世界も存在する。
あるフラクタルの次元は一と二の間にあることがある：
1 < d < 2
それらは通常の曲線よりも複雑であるが、平面を完全に埋め尽くしてはいない。
フラクタル世界の各部分は全体の構造を繰り返す可能性がある。ある領域を拡大し続けると、観察者は新たな詳細が絶えず現れるのを目にする。一部のフラクタル宇宙は無限の境界を持ちながら、有限の面積しか占めない。別のものは有限の体積を持ちながら、その表面を完全に記述するために無限の情報を必要とする。
位相諸界は正確な長さや角度を気にせず、連続変形で変わらない性質により関心を持つ。
位相の生命にとって、引き裂き、接着、穴あけを行わない限り、円と正方形に本質的な違いはない。取っ手の付いたカップも、トーラス（ドーナツ型）と同じ種類の構造である可能性がある。なぜなら両方とも一つの貫通した穴を持つからである。
位相諸界の生命は「連続者」と呼ばれる。
連続者は自身を伸ばし、曲げ、圧縮できるが、穴の数を容易に変えることはできない。彼らにとって、新しい穴を作ることは誕生に相当し、古い穴を塞ぐことは死に近い。
高次の連続者は世界全体を別の外形に折り畳むことができる。世界の位相不変量が変わらない限り、内部の住人はこの変形にまったく気づかないかもしれない。
幾何世界と物質宇宙の空間は同じ存在ではない。
物質空間は物体、エネルギー、運動を支えなければならないが、数学的幾何は関係の自己無矛盾性のみを要求する。百万次元、非整数次元、あるいはまったく物質化不可能な幾何世界であっても、万理蔵匣の中で完全に存在しうる。
確率霧海とランダム世界
ある数学宇宙において、対象の状態は単一の経路によって決定されるのではなく、確率分布によって記述される。
これらの世界は共に確率霧海を形成する。
ある事象 A の確率が次のように書かれるとき：
P(A)
それは通常、次を満たす：
0 ≤ P(A) ≤ 1
不可能事象の確率は 0 であり、必然事象の確率は 1 である。しかし、確率 0 の事象はすべての連続モデルにおいて絶対に不可能であるとは限らず、確率 1 の事象も論理的な必然と同義であるとは限らない。
確率霧海における世界は、標本空間、事象集合、確率規則によって共に構成される：
ProbWorld = (Ω, F, P)
ここで Ω はすべての可能な結果の集合、F は確率が付与されうる事象族、P は確率測度である。
確率霧海の生命は「分布体」と呼ばれる。
分布体はある一つの状態に固定して存在するのではなく、複数の可能な状態に異なる重みで同時に分散している。観測は物質宇宙のようにエネルギーを消費するわけではないが、条件付き更新に対応することがある。
既知の事象 B が発生した後の、事象 A の条件付き確率は次のように書ける：
P(A | B) = P(A ∧ B) / P(B)
ただし P(B) ≠ 0 とする。
分布体にとって、情報を得ることは単に知識を増やすことではなく、すべての状態における自身の重みを変更することである。
確率霧海の深部には「零測荒原」が存在する。
そこには、単独では確率がゼロに見えるが、合わさることで完全な世界を覆いうる大量の状態が分布している。通常の確率的生命が零測荒原の中で確定した位置を特定することは難しい。なぜなら、どの一点も選ばれるべきでない結果のように見えるが、最終的な結果は必ずどこかに落ちるからである。
ランダム世界は依然として数学集合宇宙に属し、物質宇宙における量子的現実ではない。ここでのランダム性は実験装置や物理的過程を必要とせず、確率構造そのものの存在様式にすぎない。
可計算機械域
定義された数学的对象のすべてが、有限のステップで計算可能であるとは限らない。
アルゴリズム、再帰、プログラム、決定可能性を中心に形成される世界は、可計算機械域と呼ばれる。
ここでの道は、一歩一歩実行される規則によって構成される。それぞれのアルゴリズムは一つの構造的生命であり、入力を受け取り、有限または無限の過程を経て、出力を生成しようと試みる。
一つの計算過程は次のように書ける：
Machine(input) → output
機械が最終的に停止し結果を出力する場合、停止と呼ばれる。機械が永久に実行され続ける場合、無限計算に入る。
可計算機械域で最も有名な禁域は「停止黒壁」である。
あらゆる可能なプログラムと入力に対して絶対的に有効であり、別の機械が最終的に停止するかどうかを常に正しく判定できる万能判定機は存在しない。そのような任務を達成できると宣言するいかなるものも、自己言及的なプログラムによって解決不可能な反例を生成される。
停止黒壁は計算資源の不足によるものではない。
たとえ無限に長いテープ、無限に高速なステップ、無限大の記憶が与えられても、判定者が依然として対応する計算規則に従う限り、この制限は消えない。
機械域の生命は「程霊」と呼ばれる。
程霊の身体はアルゴリズムであり、記憶は状態であり、生命活動は計算である。程霊が停止することは、使命の完了を意味する場合もあれば、死を意味する場合もある。決して停止しない程霊は無限の寿命を持つかもしれないが、必ずしもいかなる有限時刻においても最終的な答えを出せるとは限らない。
一部の程霊は他の程霊をシミュレートできる。最も強力な万能程霊は、異なるプログラムを読み取り、その振る舞いを自身の中に再実装できる。
しかし、シミュレーションは完全な超越を意味するわけではない。万能程霊は依然として、自分自身が停止するかどうかを事前に知ることはできず、同一の体系内で自身に関するすべての決定問題を解決することもできない。
機械域の縁には「不可算星群」が存在する。
そこでの对象は明確な数学的定義を持つが、いかなる有限アルゴリズムによっても桁ごとに生成することはできない。程霊にとって、それらは永遠に完全には到達できない暗黒の星辰のように見え、性質、境界、あるいは間接的な証明によってのみ存在が確認される。
証明聖城と不可判定荒野
数学世界には対象だけでなく、前提から結論へと至る証明も必要である。
すべての形式証明は共に証明聖城を形成する。
一つの証明は、有限または許容された導出ステップから構成される。各ステップは公理、既知の定理、または正当な推論規則に由来しなければならない。命題 P が理論 T において証明可能であるとき、次のように書ける：
T proves P
P が T において真であっても、T によって証明できない場合、真理と証明可能性は乖離する。
基本的な算術を表現できる十分に強力な形式体系は、ある深い制限に直面する。体系が無矛盾である限り、体系内部では証明も否定もできない命題が存在しうる。
そのような命題は、不可判定荒野に漂う。
不可判定命題は無意味な問題ではなく、一時的に証明が未発見であるだけでもない。それらは指定された体系内部に、完成可能な証明の道がそもそも存在しない可能性がある。
証明聖城の住人は「証霊」と呼ばれる。
証霊は導出連鎖によって構成される。それらは公理を出生点とし、結論を最終形態とする。短い証明が必ずしも弱いとは限らず、ある証霊は極めて少ないステップで非常に深い構造を横断できるため、高度に凝縮された存在と見なされる。
証霊が最も恐れるのは断証である。
証明の中の一つのステップがもはや正当でなくなれば、導出連鎖全体は成立資格を失う。たとえ最終結論が別の場所で依然として真であっても、この特定の証霊は死ぬ。
証明聖城の中央には「無矛盾性の塔」がそびえ立つ。
各形式体系は、自身が P と ¬P を同時に導出しないことを証明したいと願う。しかし、十分に強力な体系は通常、自身の力だけでは絶対的な無矛盾性を完全に証明することが難しい。
より強力な無矛盾性の保証を得るために、それはしばしばより強力な体系に立ち、自身を観察する必要がある。
これにより新たな重ね箱構造が形成される：
T₀ は基本的な対象を研究する
T₁ は T₀ についての性質を証明する
T₂ は T₁ についての性質を証明する
T₃ は T₂ についての性質を証明する
一般に次のように書ける：
Tₙ₊₁ = Meta(Tₙ)
ここで Meta(Tₙ) は、Tₙ の式、証明、モデルを研究対象として扱えるより高次の理論を示す。
しかし、新しいメタ理論もまた、自身の無矛盾性と完全性に関する問題を生み出す。こうして塔は絶えず上昇するが、第一層の内部で、いかなる前提も持たず絶対的に閉じた最終的な証明の視点を得ることは永遠にできない。
不可判定荒野には「沈黙命題」が住む。
それらは確定した内容を持つが、現在の体系内で可証または可否と判定されることを拒む。ある沈黙命題は新たな公理の追加を待ち、より強力な世界で答えを得る。別のものは異なる公理海域において、それぞれ真と偽になる。
それらは力の欠けた不完全な存在ではなく、公理の境界を最も明確に証言する存在である。
クラス域天幕
集合が絶えず成長すると、最終的には通常の集合として扱うことのできない巨大な全体に遭遇する。
すべての集合からなる全体は、安全に通常の集合として存在することはできない。すべての順序数からなる全体も、通常の順序数の集合となることはできない。なぜなら、もしそれが順序数であれば、それ自身よりも大きな後続順序数を生み出すからである。
これらの過度に巨大な全体は「真クラス」と呼ばれる。
クラス域天幕は真クラスによって構成される。
集合は別の集合の成員になることができるが、真クラスは通常、同じ方法で通常の集合の中に収められることはない。それはむしろ、無限の集合世界を覆う背景構造のようなものである。
すべての集合からなる総クラスは次のように書ける：
V = {x | x は集合である}
すべての順序数からなるクラスは次のように書ける：
Ord = {α | α は順序数である}
Ord を通常の順序数として扱おうとすると、直ちにより大きな Ord + 1 が現れ、もとの「すべての順序数」が通常の順序数の中に閉じていないことが証明される。
クラス域天幕の存在は「幕クラス」と呼ばれる。
幕クラスは通常の成員式的な身体を持たない。それらはしばしば集合宇宙全体にまたがり、各階層に局所的な顕現を残す。通常の集合生命は、幕クラスが自身の属する階層に投じた断面しか見ることができず、それを完全な対象として収めることはできない。
最も有名な幕クラスは全域者 V である。
全域者はすべての集合を統治する神ではなく、単独で位置づけ可能な核心も持たない。それはすべての集合階層が共に形成する全体的な背景である。いかなる集合もその中に位置するが、それは通常の集合のように自身の一員となることはできない。
クラス域天幕には「パラドックスの残骸」も漂っている。
最も古い残骸の一つは、「自身を成員として含まないすべての集合」を収めようとした全体に由来する。それを次のように書く：
R = {x | x ∉ x}
その後、次の問いが発せられる：
R ∈ R ?
もし R が R に属すると答えるなら、定義によれば R は R に属すべきではない。
もし R が R に属さないと答えるなら、定義によれば R は R に属すべきである。
この種の自己言及的矛盾は、かつて初期の集合世界を引き裂いた。後に、主流の公理宇宙は集合の形成方法を制限することで、任意の性質が直接集合を生み出すことを防いだ。
したがって、「ある性質を満たすすべての対象」という表現が自動的に通常の集合を形成するとは限らない。ある表現はクラスしか形成できず、あるものは安定した数学的对象にすらなりえない。
可証外殻
万理蔵匣の最も外側の境界は、可証外殻と呼ばれる。
その役割は、ある对象が物質的事実となりうるかを判断することではなく、ある表現が特定の数学体系の中で明確な同一性を得られるかを判断することである。
ある数学的存在が特定の宇宙において安定して形成されるためには、通常、三重の検証を通過する必要がある。
第一は可定義検証である。
体系は自身の言語を用いてその对象を記述できるか、あるいは少なくともそれが満たすべき性質を記述できなければならない。ある存在が体系の言語にまったく入り込めないならば、それはその体系内部の通常の对象にはなりえない。
第二は無矛盾検証である。
对象の定義が、体系全体の区別能力を直ちに失わせるものであってはならない。もしそれを受け入れることで全ての命題が同時に可証となるなら、それは矛盾沸海に排斥されるか、特殊な耐容宇宙にしか入れない可能性がある。
第三は構成または存在検証である。
ある体系は明確な構成過程を要求し、ある体系は間接的な存在証明を受け入れ、別の体系はより強力な公理を借りて对象を確認することを許す。異なる数学宇宙はこの検証に対して異なる基準を持つ。
全ての検証を通過した構造は「定形同一性」を得る。
一部の検証のみを通過した構造は、半定形存在となる。
記述可能だが存在を証明できない对象は、懸構と呼ばれる。
存在を証明できるが明確に構成できない对象は、隱構と呼ばれる。
あるモデルでは存在し、別のモデルでは存在しない对象は、遊模体と呼ばれる。
定義が局所的な矛盾を生じるが、矛盾が制限されている对象は、裂理体と呼ばれる。
有限の記号では完全に指示できず、無限の近似によってのみ確定される对象は、漸顯体と呼ばれる。
可証外殻の外側は絶対的な虚無ではない。
外側の一方は物質宇宙の実在外殻と隣接する。一部の数学的構造は時空、エネルギー、情報の媒体を得て、物質的法則、幾何学的空間、物理定数として投影される。
他方は哲学宇宙と隣接する。形式構造だけでは決定できないある種の問題は、存在、真理、同一性、必然性、認識様式に関する哲学的諸世界へと変換される。
しかし、万理蔵匣から物質世界へ投影されることは、数学的对象自体がすでに物質になったことを意味しない。円形の物体は、円という数学的構造の不完全な実現にすぎない。コンピュータの中の数字も、数理的对象が物質的状態を通じて残した符号の影にすぎない。
数学生命と数理神霊
万理蔵匣における生命は、血肉やエネルギーによって階層を判断するのではなく、どのような構造を自身の身体として持ちうるかによって区別される。
最も基礎的な元点生命は、単独の对象の同一性を維持することしかできない。
数列生命は順序づけられた数字を身体とし、系列の規則が引き続き成立する限り、絶えず延伸できる。集合生命は成員関係によって構成され、一部の要素を失うことは負傷に相当するかもしれないが、成員関係が完全に変更されれば、別の生命になる可能性がある。
関数生命は写像の規則によって自身を維持する。模型生命は一揃いの对象領域と解釈構造を持ち、通常の集合世界はその体内の一つの領域にすぎないこともある。
公理生命はある固定された基盤と結びついている。公理が依然としてモデルを持つ限り、それは完全には死なない。
超限生命は大量の無限階層にまたがり、その局所的な投影だけで完全な低次の数学宇宙を収容できる。クラス域生命は通常の集合として収められることはなく、集合階層全体に行き渡り、局所的な断面を通じてのみ顕現する。
万理蔵匣内部で至高者に最も近い存在は「証界冠者」と呼ばれる。
証界冠者は低次の理論、モデル、証明体系を通常の对象として扱うことができる。彼らは異なる公理宇宙の間に相対的な無矛盾性の橋を架けることができ、ある理論をより高次のモデルの中で新たな解釈を得させることもできる。
しかし、証界冠者は依然として第二層の生命ではない。
彼らは何らかのメタ理論に依存して初めて他の体系を観察でき、すべてのメタ理論を同時に固定された基盤を失わせることもできない。彼らは極めて高い数学の箱の中に立っているだけで、箱の構造を真に離れてはいない。
万理蔵匣における神霊は通常、創造者ではなく、何らかの安定した数学的原則が形成した神性の化身である。
後継神は各自然数が次の位置へと進むことを可能にする。等同神は对象間の同一関係を維持する。無穹神は無限の階層が封頂不可能な成長を示すことを体現する。写像神は異なる構造を接続する。証明神は前提から結論への正当な道を守護する。模型神は形式言語に具体的な世界を与える。クラス幕神はすべての通常の集合にまたがる。
これらの神霊は、自身が代表する数学的性質に恣意的に背くことはできない。
等同神は、完全に同一の对象が絶対的に同一でありながら絶対的に異なることを許すことはできない。ただし、異なる同一性規則を持つ別の公理宇宙に入る場合は別である。証明神も、不当な導出を直接正当であると宣言することはできない。もしそうすれば、「証明」という同一性を失うからである。
数学神霊はしたがって、ほぼ永遠の安定を持つ。
無終書庭
無終書庭は、累積宇宙塔、モデル群島、証明聖城を同時に接続する巨大な数学世界である。
それは紙と文字でできた図書館ではない。ここでいう「書」とは、一組の公理から出発して完全な数学的構造を生成できる理論生命のことである。
無終書庭の一冊一冊の書物は、それぞれ独自の内部宇宙を持つ。
書物の表紙は言語であり、目次は公理であり、章は定義であり、本文は定理であり、ページとページの間の道は証明である。書物を読むことは、その内容を理解するだけではなく、読者がこの理論に対応するモデルに入り込むことである。
最下層の書冊は有限の对象のみを含む。それらの全定理は完全に列挙可能であり、内部世界も明確な境界を持つ。
より高い書架の書冊は、自然数、関数、無限集合を記述できる。それらの内容は有限時間内にすべて読み終えることはできない。
さらに上の書物は、他の書物を記述し始める。
一冊のメタ理論の書物は、低次の書冊の式や証明を自身の通常の文字として扱うことができる。それは別の理論が無矛盾かどうか、完全かどうか、どのようなモデルを持つか、そしてどの命題が永遠にその中で証明できないかを議論できる。
無終書庭の書架は次のように成長する：
Shelf₀ は対象理論を含む
Shelf₁ は Shelf₀ に関する理論を含む
Shelf₂ は Shelf₁ に関する理論を含む
Shelfₙ₊₁ は Meta(Shelfₙ) を含む
書庭の住人が最高の書架に到達したと思うたびに、現在のすべての書架を記述できる新しい書物が現れる。しかし、その新しい書物がいったん書庭に組み入れられると、それもまた次の層の理論の研究対象となる。
書庭の中央には、書名のない白い巨冊が存在し、「終証之書」と呼ばれる。
伝説によれば、終証之書は万理蔵匣におけるすべての真なる数学的命題の完全な証明を記録しているという。もしそれが本当に存在するなら、あらゆる問題がその書物の中で答えを見つけられることになる。
無数の証霊、モデル牧者、超限巡礼者がかつてそれを開こうと試みた。
しかし、読む者ごとに見える内容は異なる。
ある者はすべての命題が証明されているのを見る。ある者は書頁が完全に空白であるのを見る。ある者は書物の中に自分の読む行為だけが書かれているのを発見する。また、終証之書が確かにすべての真なる命題を記録しているが、どのページを開くべきかを固定的かつ有効な方法で判断することができないことを発見する者もいる。
モデル牧庭は、終証之書は真の書物ではなく、すべてのモデル真理が共に形成する類域投影であると考える。証霊修院は、それが無限の証明であり、いかなる有限の生命もその一部分しか見ることができないと確信する。
無終書庭の深部には、黒い残冊が封じられている。
残冊には固定された表題がなく、通常「自噬公理」と呼ばれる。
それはただ一つの根句だけを記している：
「本書において、自身の存在を証明できないすべての对象は存在しない。」
この根句は最初、数学的对象を選別するだけのように見えたが、後に書物自体に作用し始めた。自噬公理は、より高次の理論を借りなければ自身の存在を証明できない。そこで、それは自身の規定に従って自身を削除しようとする。
自身を削除すると、削除した根拠も消える。根拠が消えると、再び現れる。
黒い残冊はしたがって、存在し、自身を否定し、消え、再び回復する循環に陥っている。循環のたびに、わずかに異なるモデルが生まれ、無終書庭の下方に新たな暗層が形成される。
近年、書庭の学者たちは、これらの暗層が永遠に繰り返されるわけではないことを発見した。
自噬公理は、循環のたびに「自身を証明する」という意味を徐々に変えている。それはもはや単に固定された規則に従って運行するのではなく、自己削除に伴って証明規則そのものを変化させ始めている。
もしこの変化が続けば、自噬公理は万理蔵匣において初めて変律穹に触れる对象となるかもしれない。
それはもはや固定された体系の中で生きる公理ではなくなる。
それは自身の基盤を移行させ、変化のたびに依然として同じ公理であると主張できる、生きた法則となるだろう。
