苫米地認知宇宙論〜仏法数理厳密証明定理28

この本の読み方

本書は、学術論文『苫米地認知宇宙論〜仏法数理厳密証明定理28–32』のやさしい完全版である。学術版が証明した五つの定理を、数式を一つも読めなくても、また仏教の予備知識が一つも無くても、最初のページから最後のページまで読み通せるように書き直したものである。

数式が苦手な読者へ：本書のいちばん大事な約束を先に述べる。数式は暗号ではなく、地形と旅と帳簿の言葉である。本書に登場するすべての式は、「谷」「坂」「合計」「部屋」「檻」「帳簿」といった絵に必ず翻訳される。オレンジ色のこの枠が、その翻訳係である。緑色の枠「証明の心」は、証明の骨組みをひと段落で語る。式を一つも追わなくても、枠だけを拾い読みすれば、本書の主張と論理はすべて追える。

仏教に詳しくない読者へ：本書には「涅槃」「無我」「六道輪廻」「絶対他力」といった、仏教の言葉が出てくる。しかし、それらをあらかじめ知っている必要はまったくない。必要な言葉は、出てくるたびにその場で、日常のことばで定義する。青色のこの枠が、その係である。そして本書の主張は、これらの言葉の宗教的な権威に一切もたれかかっていない。数学が言えることだけを、数学の言葉で言う。仏教の言葉は、その数学的結論にあとから貼られた名札だと思ってもらってよい。

ただし本書は「たとえ話だけの本」ではない。各定理は、学術版とまったく同じ正典の式と成立条件を掲げる。省くのは長い計算だけであり、主張・仮定・結論は一切ゆるめない。厳密な完全証明を確かめたい読者のために、各定理の末尾に学術版の該当節を示す。

読み進め方の三つの道：第一の道（いちばん速い）——各定理の「◆ 中心式」と、オレンジ枠と、緑枠だけを読む。これで五つの定理が何を主張しているかは全部わかる。第二の道（おすすめ）——それに加えて、図と「🔍 証明を一歩ずつ」を読む。なぜその主張が正しいのかまでわかる。第三の道（じっくり）——記号の表と条件の説明も読む。学術版へそのまま進める。

この本の読み方
全体地図 — 五つの定理が、どこへ向かうのか
予備知識ゼロからの、最小限の仏教
数式が苦手な読者のための道具箱
継承定理のおさらい — かならず標準形からはじめる
定理28 — 涅槃無我・型整合定理
定理29 — 形式法体系無自性・不完備定理
定理30 — エントロピー交換自我構成定理
定理31 — 内省言語閉包・低抽象度六道輪廻定理
定理32 — 未来TCZホメオスタシス絶対他力定理
五つの整合性確認 — 矛盾していないか
条件を落とすと、何が壊れるか — 最小性と反例
よくある誤解 Q&A
定理一覧（定理28〜32）
ミニ用語辞典
さらに学ぶために

全体地図 — 五つの定理が、どこへ向かうのか

本書の地図。下段の継承定理（すでに証明済みの土台）の上に、本書の五つの定理が載る。

まず五つの定理を、それぞれ一行で言い切ってしまう。読み終えたときに、この五行が全部「当たり前のこと」に見えていれば、本書は成功である。

本書が証明する五つの定理
定理	名称	ひと言で
定理28	涅槃無我・型整合定理	「すべては苦である」と「苦の滅した静けさがある」は、矛盾ではなく別々の部屋の話である。そして涅槃そのものにも、固定した芯は無い。
定理29	形式法体系無自性・不完備定理	教えを命題の体系として書き下せるなら、その体系は自分だけでは閉じない。継ぎ足しても終わらない。
定理30	エントロピー交換自我構成定理	「私」は、内側のことばが選び、安定させた構成物である。心が整うぶんだけ、物理の側は必ず散らかる。
定理31	内省言語閉包・低抽象度六道輪廻定理	ことばは選べる手を増やすが、同時に檻にもなる。閉じた低い帯の中では、確率1で同じ六つの領域をめぐりつづける。
定理32	未来TCZホメオスタシス絶対他力定理	いまの自分の外側にゴールを置くと、地形そのものが組み替わり、もう努力しなくてもそちらへ収束していく。

証明の順序は一本の鎖ではない。定理28・29・30 は互いに独立な三本の枝であり、31 と 32 だけが後ろに続く。

この形が大事である。五つを「順に積み上げた塔」だと思うと、途中でつまずいたときに全部が崩れるように見えてしまう。実際にはそうではない。定理28・29・30 は、どれか一つを疑っても他の二つは無傷である。定理31 は定理30 の言語化Ego構成を使ってもよいし使わなくてもよい。定理32 は、定理31 が描いた閉鎖からどう出るのかを説明する。

数式が苦手な読者へ：番号が28から32なのは、この体系がすでに27の定理を積み上げてきたからである。番号は体系のなかの住所なので、詰め直さずそのまま使う。なお定理13は欠番であり、内容を持たない。

予備知識ゼロからの、最小限の仏教

ここでは、本書を読むのに必要な仏教の言葉だけを、順に定義する。宗教としての当否は一切論じない。数学の側で証明された結論に、伝統的に付けられてきた名札として扱う。

四法印 — 仏教が仏教であるための四つの旗印

四法印。本書の定理28は、このうち一切皆苦（定理24）と諸法無我（定理25）と涅槃寂静（定理26）の三つを直接受け取る。

仏教に詳しくない読者へ：四法印とは、ある教えが仏教であるかどうかを見分けるための四つの旗印である。諸行無常——あらゆる現象は移ろい、とどまらない。一切皆苦——条件づけられた存在は苦を内包する。諸法無我——すべては互いに繋がり合って成り立ち、固定した実体としての自我は存在しない。涅槃寂静——苦を滅した静けさは実在する。この四つは、すでに別の論文『苫米地四法印定理』で、定理23・24・25・26 として証明されている。本書はその結論だけを受け取って使う。

「苦」とは何か — 痛みのことではない

仏教に詳しくない読者へ：「一切皆苦」の苦（ドゥッカ）は、痛い・つらいという感情のことではない。もとの語は「思うようにならなさ」「据わりの悪さ」に近い。本書の数学では、これはさらにはっきりと定義される。最善を尽くしてもなお残る、しんどさの合計——これが苦である。最善を尽くしていないから残るのではない。最善を尽くしてなお残るから苦なのである。数学では、この「最善を尽くしたときの合計点」を J^* と書く。「一切皆苦」とは、J^* > 0 のことである。

「無我」とは何か — 「私は存在しない」ではない

仏教に詳しくない読者へ：無我（アナッタ）は、しばしば「自分など存在しない」と誤読される。そうではない。無我が否定しているのは、関係から切り離しても、それだけで自分を自分たらしめる、固定した芯である。父は、息子や娘がいるから父である。糸を全部外せば、結び目は結び目でなくなる。しかし結び目そのものは、確かに在る。本書でも、自己意識は定理16によってはっきり存在が証明されている。無我が消すのは、その結び目の内側に隠れているとされる「糸なしでも残る芯」だけである。

仏教に詳しくない読者へ：この本で「無我である」と言うとき、数学の側では ¬Atman(d, a) と書く。読み方は「対象 d の層 a には、関係の記述から独立していて、履歴を通じて固定されていて、個体を個体たらしめていて、しかも因果的に余分な働きをもつ、そういう内在変数は存在しない」である。四つの条件をすべて満たすものが無い、という主張である。だから「d は集合として記述できない」という意味では、まったくない。

「涅槃」とは何か — 死後の世界のことではない

仏教に詳しくない読者へ：涅槃（ニルヴァーナ）は、しばしば「死後に行く安らかな場所」と誤解される。本書の数学では、そうではない。涅槃はいま、生きているまま到達しうる状態の集合として定義される。式では 𝒩_⊤(T) と書き、意味は「生きていられる領域のなかで、最高抽象度における残り苦がちょうどゼロになっている状態を、全部あつめたもの」である。「生きていられる領域のなかで」という限定が入っていることに注意してほしい。死は、この定義には含まれていない。

「六道輪廻」とは何か — 生まれ変わりのことではない

六道。本書では、閉じた領域の中を確率1でめぐりつづける、という数学的構造として扱う。

仏教に詳しくない読者へ：六道輪廻は、伝統的には、地獄・餓鬼・畜生・修羅・人・天という六つの境涯を、生まれ変わりながらめぐりつづけることを指す。本書の数学は、生まれ変わりについては何も述べない。数学が述べるのは、閉じた有限の系のなかでは、どの領域にも確率1で無限回もどってくるということだけである。六という数も、それぞれの名前も、数学からは出てこない。数学が与えるのは「閉じた系はめぐる」という構造であり、そこに六つの名札を貼るかどうかは教学の側の話である。

「絶対他力」とは何か — 超自然の力のことではない

仏教に詳しくない読者へ：絶対他力は、浄土教の伝統で、自分の努力（自力）ではなく、はたらきかけてくる大きな力によって救われる、という考え方を指す。密教でもこの考え方は伝わっている。本書ではこれを、超自然的な作用としても、物理的な逆因果としても、いっさい扱わない。本書で「絶対他力」と呼ぶのは、次のモデル内の事実だけである——いまの自分の外側にゴールを置いたあと、古い自分が追加の努力入力をしなくても、組み替わった閉ループが自動的にそちらへ収束していく。名前は伝統から借りているが、中身は完全に数学である。

本書に出てくる、この体系の言葉

この体系に固有の言葉（最小限）
言葉	意味
TCZ	トータル・コンフォート・ゾーン。心が落ち着いていられる範囲。地形でいえば谷底の浅い部分。
抽象度	ものごとをどれだけ広く包んで見ているかの度合い。低いほど個別具体、高いほど広く包括的。上下の順序があり、いちばん上を ⊤（空）と書く。
⊤（空）	抽象度のいちばん上。すべてを包む最小の屋根。ここでは個体を区別する内容が消える。
臨場感 P	ある世界が「いま・ここ」として感じられている度合い。0 から 1 のあいだの数。
Ego	実際に行動を決めている制御方策。「私」の運転席にあたる。
Self	Ego より高い層にあり、ゴールの向きを決める側。
ゴール G	終端条件として置かれる、めざす状態。

数式が苦手な読者へ：ここまでで、必要な言葉は全部そろった。ここから先は道具箱である。道具箱を読み終えれば、本書に出てくるすべての式は「知っている絵の組み合わせ」になる。急ぐ読者は道具箱を飛ばして定理28へ進んでもよい。式が出てくるたびに、必要な道具の番号を示すので、そのとき戻ってくればよい。

数式が苦手な読者のための道具箱

本書のすべての式は、これから並べる二十一個の道具の組み合わせでできている。ここで絵として手に入れてしまえば、あとは全部「知っている絵」である。前半の十個は、この体系のこれまでの論文と共通の道具である。後半の十一個は、定理28から32を読むために新しく必要になる道具である。

道具① 地形と谷 — 評価関数 V と TCZ

数式が苦手な読者へ：心の状態を一つの点 x と考える。そして、状態ごとに「いまどれくらい無理をしているか」を点数にする関数を V(x,t) と書き、評価関数と呼ぶ。点数を高さとして描けば、心は地形の上を転がるボールである。谷底の浅い範囲——点数がしきい値 θ 以下の範囲——が TCZ、つまり「居心地のよい範囲」の数学的な正体である。

評価関数 V は地形。浅い谷底（V ≤ θ）が TCZ。

道具② 合計＝面積 — 積分 ∫

数式が苦手な読者へ：∫ という記号は、難しいことをしていない。「いま何点か」ではなく、始めから終わりまでの点数を全部足すと言っているだけである。点数を高さとして描けば、その合計は曲線の下の面積になる。∫₀^T V dt と書いてあれば、「時刻 0 から T まで、V という点数を全部足したもの」と読めばよい。

積分は、細い短冊の面積を全部足したもの。すなわち曲線の下の面積。

道具③ いちばん小さくする選び方 — arg min と π_c

数式が苦手な読者へ：arg min は「いちばん小さくするのは、どれか」という問いへの答えである。min が「いちばん小さい値」なのに対し、arg min は「その値を出した本人（＝選び方）」を指す。本書では、行動の決め方を方策と呼び、π と書く。π_c = arg min ∫V₀ dt は、「合計点をいちばん小さくする方策を選ぶ」という意味である。

五つの候補のうち、合計点がいちばん低いものを選ぶ。それが arg min。

道具④ 坂を下る条件 — リアプノフ降下

数式が苦手な読者へ：「いつか必ずゼロに落ちる」ことを証明したいとき、いちいち軌道を計算する必要はない。「いま高いほど、速く下がる」という一言があれば十分である。数式では D⁺Φ ≤ −cΦ と書く。左辺は「これから先の傾き」（道具⑱）、右辺は「いまの高さの c 倍だけ、必ず下がる」。この一行から、Φ(t) ≤ Φ(0)e^−ct が出る。本書の証明のほとんどは、最後にこの形へ帰着する。

高いほど速く下がる。この一言だけで、必ずゼロに落ちることが決まる。

道具⑤ 半分、また半分 — 指数減衰

数式が苦手な読者へ：e^−ct という形は、「一定の時間ごとに、決まった割合ずつ減っていく」ことを表す。半分、また半分、また半分。決してゼロには届かないが、いくらでもゼロに近づく。そして大事なことに、「δ まで近づくのに何秒かかるか」も、この形から計算できる（道具㉑）。

一定時間ごとに決まった割合で減る。これが指数減衰。

道具⑥ 散らかり度 — エントロピー

数式が苦手な読者へ：エントロピーは「散らかり度」だと思ってよい。ものを放っておくと、そろった状態から散らかった状態へ移る。逆はひとりでには起こらない。生きているとは、この散らかりに逆らって自分の形を保ちつづけることである。ただしタダではない。自分の内側を整えたぶんは、必ず外側に散らかりとして捨てられる。定理30 と定理15 は、この「捨てた量」と「整えた量」を、同じ一冊の帳簿の上で結びつける。

整った状態から散らかった状態へ。生きているとは、これに逆らいつづけることである。

道具⑦ ぜんぶ包む、いちばん低い屋根 — LUB と「空」

数式が苦手な読者へ：LUB（最小上界）は、平均ではない。どれ一つ切り捨てずに、全部を包む、いちばん低い屋根である。私の世界とあなたの世界と彼の世界があるとき、その三つを全部含む最小の世界が LUB である。そして、この「上げていく」操作をいちばん上まで行った先が ⊤（空）である。空では、個体を互いに区別する内容が消える。空とは無ではなく、すべてを包む最大元である。

LUB は平均ではなく、どれも切り捨てずに包む最小の上界。その頂点が ⊤（空）。

道具⑧ 逆極限 — すべての層でつじつまが合う一点

数式が苦手な読者へ：本書の道具のなかで、名前がいちばん難しく感じられるのがこれである。しかし中身は、日常でやっていることそのものである。七つの段に分けて、ゆっくり進む。この道具が分かると、定理16・定理30・定理31 の骨格が一度に見えるようになる。

① なぜ「層」が要るのか

数式が苦手な読者へ：「あなたは何者ですか」と聞かれたとき、答えは一つの粒度では決まらない。「人間です」「日本人です」「教師です」「三年二組の担任です」「いま職員室で答案を採点している者です」——どれも正しいが、どれ一つとしてそれだけで自分を言い尽くしてはいない。この体系はこれを、抽象度の層として扱う。上の層ほど広く包み、下の層ほど個別具体的である。

② 射影 — 上の層の一言を、下の層で「言い下す」

数式が苦手な読者へ：層と層は無関係ではない。上の層で言ったことは、下の層で具体的な形に言い下すことができる。この「言い下し」を射影と呼び、記号では p と書く。たとえば上の層の「私は正直さを大切にする者だ」は、下の層では「この場面では本当のことを言う」「あの場面では黙っている」といった個別の振る舞いへほどけていく。

射影は、上の層の一言を下の層で言い下す操作。だから下へ降りるほど細部が増える。

数式が苦手な読者へ：ここで大事な性質が一つある。射影は必ず「上から下へ」向く。逆はできない。下の層の一つの振る舞いを見ても、上の層でどんな方針を持っているかは一意には決まらないからである。「今日は本当のことを言った」からといって、その人が正直さを大切にしているとは限らない（たまたまかもしれない）。情報は下ろすときに増え、上げるときには決まらない。これが道具⑥（エントロピー）とつながる。

③ 整合族 — 「一本の柱」

数式が苦手な読者へ：さて、各層から自分の姿を一つずつ選んでみる。上の層から一つ、その下から一つ、さらに下から一つ……。こうして全部の層から一つずつ選んだ組み合わせができる。ただしこの組み合わせには、満たしてほしい条件がある——上の層で選んだものを射影で下ろした結果が、下の層で選んだものとぴったり一致すること。それがどの隣り合う層についても成り立っているとき、この組み合わせを整合族と呼ぶ。本書ではこれを「一本の柱」と呼んでいる。

左は柱になる組み合わせ。右はある層で食い違っており、柱にならない。

数式が苦手な読者へ：日常の言葉で言えば、柱とは「どの粒度で自分を語っても、話が食い違わない」状態のことである。「私は正直さを大切にする」と言いながら、具体的な場面では平気で嘘をつく——これは柱になっていない。上の層と下の層が食い違っているからである。柱が一本あるとは、抽象度をどこまで上げ下げしても自己像が破綻しない、ということである。

④ 逆極限 — 柱を全部あつめたもの

数式が苦手な読者へ：そして逆極限とは、こういう柱を、ありうる限り全部あつめた集まりのことである。それだけである。記号では lim_← と書く。定理16 が証明したのは、この集まりが空ではない——つまり柱が少なくとも一本は存在する——ということであった。

数式が苦手な読者へ：「柱が存在する」がなぜそれほど重要なのか。もし一本も無ければ、「矛盾のない自己像」というものがそもそも成り立たないからである。どんな選び方をしても、どこかの層で必ず食い違ってしまう。そういう世界では、自己意識について語ること自体が無意味になる。定理16 は、そうはならないことを保証している。

⑤ なぜ「逆」極限と呼ぶのか

射影の矢印はすべて下向き。逆極限はその「上流」に立つ。だから逆極限と呼ばれる。

数式が苦手な読者へ：「逆」という字が入っているのは、矢印の向きに逆らって立っているからである。射影の矢印は、上の層から下の層へ、すべて下向きに走っている。ところが逆極限そのものは、それら全部の上流に立ち、どの層へも降りていける位置にある。矢印と同じ向きに並べていく操作（順極限）とは、立つ位置が反対なのである。難しい意味は無く、位置関係を表す呼び名にすぎない。

⑥ 一つの層だけでは、なぜ足りないのか

数式が苦手な読者へ：ここで自然な疑問が出る。「いちばん上の層だけ見ればよいのではないか。」——駄目である。理由は②で述べた。上の層は下の層を一意には決めない。「正直さを大切にする」だけでは、この場面でどうするかが決まらない。逆に「いちばん下の層だけ見ればよいのではないか」——これも駄目である。個別の振る舞いをいくら並べても、それがどんな方針の現れなのかは決まらない。自己像とは、どちらか一方ではなく、全層をまたいで整合している一本の柱そのものなのである。

⑦ この道具が、どこで効くのか

数式が苦手な読者へ：三か所で効く。定理16——柱の集まり（逆極限）が空でないことを示し、その上でただ一つの落ち着き先を取り出す。定理30——「ことば」をこの柱の集まりの上に載せる。条件30-A（可換性）が要求しているのは、ことばを効かせても柱が柱のままであることである。もしこれが壊れたら、ことばを効かせた結果はもう自己像ではなくなってしまう。定理31——柱がどこまで高い層に届いているかが、そのまま「到達できる抽象度」になる。檻とは、柱が一定の高さより上へ伸びない状態のことである。

まとめ。逆極限は「どの層でも矛盾しない一本の柱」の集まりである。

道具⑨ 縮小写像 — 繰り返すと必ず一点に落ち着く

数式が苦手な読者へ：ある操作を繰り返し適用したとき、二つの出発点のあいだの距離が毎回きまった割合 q（ただし q < 1）だけ縮むなら、その操作は縮小写像である。縮小写像には、必ずただ一つの固定点がある。固定点とは「入れると同じものが返ってくる点」である。しかも、どこから始めても必ずそこへ行く。バナッハの不動点定理という名前がついている。定理16 と定理30 の「一意性」は、すべてこの定理から来る。

距離が毎回 q 倍に縮むなら、どこから始めても同じ一点へ落ち着く。

道具⑩ 相互情報量 — 知ると、わからなさが減る

数式が苦手な読者へ：ある事柄 Z について、まだわかっていない量を H(Z) と書き、エントロピーと呼ぶ。ここで別の情報 M を手に入れると、わからなさは減る。減った分が相互情報量 I(Z;M) である。大事な性質が二つある。第一に、I は絶対に負にならない——知って損をすることはない。第二に、I がゼロになるのは、M が Z について何も語っていないときだけである。

相互情報量は「知ったことで減った、わからなさの量」。必ず 0 以上。

道具⑪ タグ付き非交和 — 同じ名前の点を混ぜない

数式が苦手な読者へ：ここからが、定理28以降のための新しい道具である。非交和とは、二つの集合を「混ぜずに」並べることである。ふつうの和集合では、同じ名前の要素は一つにまとめられてしまう。非交和では、それぞれにタグ（札）を付けてから並べるので、たとえ中身が同じでも、タグが違えば別の要素として扱われる。

数式が苦手な読者へ：なぜこれが要るのか。「すべては苦である」と「苦の滅した静けさがある」を、同じ一つの点について同時に言えば矛盾する。しかしタグを付けて分けてしまえば、二つはそもそも別の点についての主張になり、競合しない。これが定理28の「型整合」である。数式では、⊔ という記号を使って書く。

タグが違えば別の点。だから「苦がある」と「苦がゼロ」は矛盾しない。

道具⑫ 形式体系 — 公理・推論規則・定理

数式が苦手な読者へ：形式体系とは、次の三点セットのことである。公理——最初から認める文の集まり。推論規則——文から文へ進んでよい手つづき。定理——公理から規則をたどって届く文ぜんぶ。将棋にたとえれば、公理が初期配置、推論規則が駒の動かし方、定理がその初期配置から到達できる局面すべてである。

形式体系の三点セット。定理29は「教説をこの形にできるなら」から出発する。

道具⑬ ゲーデルの不完全性 — 真だが証明できない文

数式が苦手な読者へ：1931年にクルト・ゲーデルが証明した二つの定理である。第一不完全性定理——十分に強く、公理を数えあげられて、自分について嘘をつかない体系には、本当は正しいのに、その体系のなかでは証明できない文が必ず存在する。しかも、その否定も証明できない。第二不完全性定理——そういう体系は、自分に矛盾がないことを、自分のなかでは証明できない。

数式が苦手な読者へ：ここは誤解が多いので、はっきり言っておく。不完全性は虚偽性ではない。「証明できない文がある」ことと「その体系が間違っている」ことは、まったく別である。また、「自分の無矛盾性を証明できない」ことと「矛盾している」ことも、まったく別である。

正しい文の集まりのうち、証明できる部分は必ず真部分集合になる。

道具⑭ コルモゴロフ複雑性 — 「これは複雑だ」と言える限界

数式が苦手な読者へ：ある文字列のコルモゴロフ複雑性とは、「その文字列を出力する、いちばん短いプログラムの長さ」である。単純な文字列は短いプログラムで書けるので複雑性が低く、でたらめな文字列はほぼ丸写しするしかないので複雑性が高い。

数式が苦手な読者へ：チャイティンが示したのは、次のことである。どんなに強い体系にも、それ自身に依存して決まる定数 c があり、「この文字列の複雑性は n を超える」という形の文を証明できるのは、n が c 以下のときだけである。つまり体系は、自分の記述長よりずっと複雑なものを「複雑だ」と証明できない。定理29の第三の結論はこれである。

「これは複雑だ」と証明できる範囲には、体系ごとに天井がある。

道具⑮ マルコフ連鎖と定常分布 — 何度でも戻ってくる

数式が苦手な読者へ：マルコフ連鎖とは、「次にどこへ行くかが、いまどこにいるかだけで決まる」ような移動である。過去の道すじは関係ない。すごろくを思い浮かべればよい。既約とは「どのマスからどのマスへも、いつかは行ける」という性質である。

数式が苦手な読者へ：ここから、とても強い結論が出る。マスの数が有限で、既約であれば、どのマスにも確率1で無限回もどってくる。しかも、長い目で見た滞在率は、決まった正の値へ落ち着く。定理31の「六道輪廻」は、この一般的な事実を六つの領域に適用したものである。

有限で既約なら、どの部屋にも確率1で無限回もどってくる。

道具⑯ 接錐とナグモ条件 — 壁の内側から出ない理由

数式が苦手な読者へ：閉じた領域 K があり、その中を点が動いている。この点が永久に K から出ないことを、どう保証するか。答えは意外に簡単である。壁の上にいるとき、速度が外を向いていなければよい。それだけで、二度と外に出ないことが決まる。これをナグモの不変性定理という。

数式が苦手な読者へ：「外を向いていない」を正確に述べるための道具が接錐 T_K(x) である。壁の上の点 x から見て、「K の内側に留まりながら進める向き」を全部あつめた扇形だと思えばよい。速度がこの扇形の中にあれば、外へは出られない。

壁の上で速度が接錐の中にあれば、二度と領域を出ない。

道具⑰ ハイブリッド系 — なめらかな流れ＋とびとびのジャンプ

数式が苦手な読者へ：ハイブリッド系とは、なめらかに連続して動く部分と、瞬間的に飛ぶ部分が混ざった系である。定理31では、時間とともに少しずつ状態が動いていくのが「流れ」であり、新しい言葉を手に入れて一気に別の状態へ跳ぶのが「ジャンプ」である。

数式が苦手な読者へ：こういう系で収束を証明するには、流れでもジャンプでも残差が増えないことを示す必要がある。片方だけでは足りない。加えて、有限時間のあいだにジャンプが無限回起こらない（非ゼノ）ことも要る。定理31 の条件が二重になっているのは、このためである。

流れでもジャンプでも残差が増えないなら、全体としてゼロへ収束する。

道具⑱ 右上ディニ微分 — 角があっても測れる傾き

数式が苦手な読者へ：ふつうの微分は、グラフがなめらかでないと使えない。角がある点では傾きが定まらないからである。ところが本書の残差はしばしば max や絶対値を含むので、角ができる。そこで右上ディニ微分 D⁺ を使う。これは「左からどうだったか」を無視して、これから先どうなるかだけを測る。角があっても「これから下がるか」は必ず測れる。証明にはそれで十分である。

角があっても「これから先の傾き」は測れる。それが右上ディニ微分。

道具⑲ 二次の挟みうち — メーターと距離を結びつける

数式が苦手な読者へ：証明では、扱いやすい「メーター」W を作り、そのメーターがゼロへ落ちることを示す。しかし本当に知りたいのは「安全地帯までの距離」である。そこで、メーターと距離の二乗が、上下から定数倍で挟まれていることを条件に置く。c₁d² ≤ W ≤ c₂d² という形である。こうしておけば、メーターがゼロへ落ちることと距離がゼロへ落ちることが同じになる。

メーターと距離の二乗が上下から挟まれていれば、片方を証明すれば足りる。

道具⑳ 条件付きエントロピーの連鎖律 — 減った分だけ、外へ

数式が苦手な読者へ：道具⑩を、時間の流れの中で正確に書いたものである。時刻 t₁ と t₂ のあいだに新しい情報 M が入ったとする。すると、残るわからなさは、ちょうど相互情報量の分だけ減る。近似ではなく、等式である。この等式が、定理30 の「認知の側で減った量」と「物理の側で増える量」を、ぴたりと結びつける。

わからなさは、ちょうど相互情報量の分だけ減る。近似ではなく等式である。

道具㉑到達時間 — 「あと何秒で δ 以内か」を計算する

数式が苦手な読者へ：「いつか着く」と「何秒後までに着く」は、大きく違う。指数減衰（道具⑤）の形が手に入っていれば、後者が言える。距離が √(a₂/a₁)·d₀·e^{−λ(t−t₀)} 以下だとわかっているなら、これを δ 以下にする t を解けばよい。定理32 が与えるのは、この時刻の上界である。

指数の形が手に入れば、δ 以内に入る時刻の上界が計算できる。

道具箱・補遺 — 証明に出てくる、名前のついた定理と概念

本書の証明には、数学者の名前がついた定理や、耳慣れない術語がいくつか出てくる。名前はどれも物々しいが、言っていること自体は一行で言える。ここでは、それらを道具箱と同じ調子で並べておく。この章はまるごと読み飛ばしてかまわない。証明を一歩ずつ追いたくなったときに、必要なものだけ戻って読めばよい。

Ⅰ 空間のかたちについて

コンパクト ── 「逃げ場がない」という性質

数式が苦手な読者へ：コンパクトとは、ざっくり言えば「果てしなく逃げていくことができない」という性質である。閉じた区間 [0,1] はコンパクトだが、直線全体や、端を含まない区間 (0,1) はコンパクトではない。前者からは点がどこまでも遠ざかることができ、後者では点が端へ近づいていっても行き先が集合の中に無い。

数式が苦手な読者へ：なぜこれが要るのか。証明で欲しいのは「候補を無限に並べたとき、その中に必ず落ち着き先がある」という保証である。コンパクトであれば、どんな無限列からも、集合の中の点へ近づいていく部分列を取り出せる。「探しつづければ、必ず見つかる」ことを保証する性質だと思ってよい。定理16 で各層の候補集合にこれを課すのは、そのためである。

ハウスドルフ空間・コンパクト・ハウスドルフ空間 ── 「二点はちゃんと区別できる」

数式が苦手な読者へ：ハウスドルフという条件は、「違う二点は、必ず重ならない別々の近所に分けて置ける」という性質である。当たり前に聞こえるが、これを課さないと「二つの違う点が、どんなに細かく見ても分離できない」という奇妙な空間が許されてしまう。そういう空間では「落ち着き先がただ一つ」と言っても意味をなさない。

数式が苦手な読者へ：コンパクト・ハウスドルフ空間とは、この二つを併せ持つ空間である。逃げ場がなく、しかも点どうしがきちんと見分けられる。定理16 が各抽象層の候補集合にこれを要求するのは、「自己像が確かに存在し、しかもそれが一意に定まる」と言えるための、いわば最低限の舞台設定だからである。

バナッハ空間 ── 「足し算と長さがあって、穴が空いていない」場所

数式が苦手な読者へ：バナッハ空間とは、次の三つを備えた空間である。① 要素どうしを足したり定数倍したりできる。② 各要素に「長さ」（ノルム）が決まっていて、そこから二点間の距離が測れる。③ 穴が空いていない——つまり、点の列がだんだん寄り集まってきたら、その行き先が必ずこの空間の中にある（完備性）。

数式が苦手な読者へ：③がいちばん大事である。有理数だけの世界には √2 という「穴」があり、有理数の列が √2 へ寄り集まっても、行き先がその世界に無い。バナッハ空間ではこれが起こらない。「近づいていったのに、着く先が無かった」という事故が起こらないことを保証する条件であり、次に述べるバナッハの不動点定理を使うための前提でもある。

非空コンパクト凸集合 ── 三つの条件を、一つずつ

数式が苦手な読者へ：定理30 では、自己意識の空間 SC が「バナッハ空間内の非空コンパクト凸集合」であるとされる。三語を分解する。非空＝空っぽではない（候補が少なくとも一つある）。コンパクト＝逃げ場がない（上記）。凸＝二点を結ぶ線分が、まるごとその集合に入っている——へこみや切れ目がない、ということである。

数式が苦手な読者へ：「凸」が要るのはなぜか。二つの自己像のあいだの中間の自己像もまた、ちゃんと自己像として認められていてほしいからである。もし集合が二つに割れていたら、「その中間」は存在しないことになり、連続的に落ち着いていく過程を語れない。三つ合わせて、「候補があり、逃げ場がなく、切れ目がない」舞台ということになる。

チコノフの定理 ── 「コンパクトを無限個かけ合わせても、コンパクトのまま」

数式が苦手な読者へ：チコノフの定理が言うのは一行である。「コンパクトな空間を、いくつかけ合わせても——たとえ無限個でも——出来上がったものはやはりコンパクトである。」有限個なら当たり前に思えるが、無限個でも成り立つ、というのがこの定理の非自明な内容である。

数式が苦手な読者へ：本書での使い道はこうである。定理16 では、抽象度の層がいくつもある。各層に候補集合があり、それぞれはコンパクトである。ここで知りたいのは「すべての層でつじつまの合う柱（道具⑧）が、少なくとも一本は存在するか」である。チコノフの定理により、層を全部かけ合わせた空間もコンパクトであることが分かり、そこから逆極限が空でないことが従う。定理16 の「存在」の部分は、ここから来ている。

Ⅱ 一点へ落ち着くことについて

リプシッツ定数 ── 「どれだけ引き伸ばすか」の目盛り

数式が苦手な読者へ：ある操作を二つの点に施したとき、もとの距離に比べて、あとの距離が最大で何倍になるか——その最大の倍率がリプシッツ定数である。記号では Lip(F) と書く。Lip(F) = 2 なら「どんな二点も、離れ方が最大で二倍になる」。Lip(F) = 0.5 なら「どんな二点も、必ず半分以下に縮む」。

数式が苦手な読者へ：この値が 1 より小さいかどうかが決定的である。1 より小さければ、繰り返すたびに距離は必ず縮んでいき、やがて一点に落ち着く（道具⑨）。定理30 で q_Fq_m < 1 という条件が出てくるのは、自己反映と言語作用を続けて行っても、なお全体として縮むことを要求しているのである。二つの倍率を掛け合わせた値が 1 未満なら、合成もやはり縮小写像になる。

バナッハの不動点定理 ── 「縮むなら、行き先はただ一つ」

数式が苦手な読者へ：道具⑨で絵として見たことを、定理の形で述べたものである。「穴の空いていない距離空間の上で、ある操作が必ず一定割合で距離を縮めるなら、その操作には固定点がちょうど一つ存在し、しかもどこから始めて繰り返しても必ずそこへ行き着く。」固定点とは「入れると同じものが返ってくる点」である。

数式が苦手な読者へ：この定理の強さは、存在と一意性と到達可能性を、一度に与えるところにある。しかも収束の速さまで分かる——n 回繰り返せば距離は qⁿ 倍以下になる。本書で「ただ一つの自己像がある」（定理16）「言語ごとにただ一つの落ち着き先がある」（定理30）と言えるのは、すべてこの定理のおかげである。

⚠️ ここを間違えやすい定理16 の存在と一意性は、出所が違う。存在はチコノフの定理（位相の話）から、一意性はバナッハの不動点定理（縮小の話）から来る。両者を混ぜてはならない。

Ⅲ 動きを閉じ込める・下がることを示す

ナグモの不変性定理 ── 「壁で外を向かなければ、出ない」

数式が苦手な読者へ：道具⑯で扱った内容の、正式な名前である。「閉じた領域があり、その壁の上のどの点でも速度が外を向いていないなら、いったん中にある点は、二度と外に出ない。」これだけである。中の様子をいくら詳しく調べる必要もなく、壁の上での向きだけを見ればよいという点が、この定理の便利さである。

数式が苦手な読者へ：「外を向いていない」を正確に述べる道具が接錐であった。壁の上の点から見て「中に留まりながら進める向き」を全部あつめた扇形である。定理31 の条件31-B は、まさにこの形をしている。檻から出られないことの証明の、半分はこの定理が担っている（残り半分は言語ジャンプを扱う条件31-A）。

グロンウォールの不等式 ── 「増え方に上限があるなら、値にも上限がある」

数式が苦手な読者へ：これは、本書の証明で最も頻繁に使われる道具である。言っていることは一行——「変化の速さについての不等式から、値そのものについての不等式を作り出す。」

数式が苦手な読者へ：具体的に見る。「いま高いほど速く下がる」（道具④）は、変化の速さについての情報である。D⁺Φ ≤ −cΦ と書かれる。ここから知りたいのは「では時刻 t での値はどうなっているのか」である。グロンウォールの不等式は、この橋を渡してくれる。答えは Φ(t) ≤ Φ(0)e^−ct、すなわち指数減衰である。

数式が苦手な読者へ：言いかえれば——「毎秒どれだけ減るか」だけを知っていれば、「何秒後にいくらになっているか」が分かる。この道具があるからこそ、定理32 は「いつか着く」ではなく「何秒後までに着く」と言えるのである（道具㉑）。補題0 も、定理31 の (31.4) も、定理32 の (32.5) も、最後はすべてこの不等式に帰着する。

Ⅳ 未来から決まることについて

ハミルトン–ヤコビ–ベルマン方程式 ── 「最善手を、後ろから決める」式

数式が苦手な読者へ：長い名前だが、中身は将棋の詰みを読む手つづきだと思えばよい。詰将棋を解くとき、私たちは最初の一手から順に考えるのではない。詰んだ形（＝終わり）から逆にたどる。「この形なら詰み」→「ならばその一手前はこう」→「ならばさらにその前は」。この「後ろからたどる」手つづきを、連続時間の最適制御について書き下したものがハミルトン–ヤコビ–ベルマン方程式（HJB方程式）である。

数式が苦手な読者へ：もう少し正確に言う。まず、各状態と各時刻について「ここから最善を尽くしたら、残りの合計費用はいくらか」という値を考える。これを価値関数 W(x,t) と呼ぶ。HJB方程式は、この価値関数が満たすべき関係式であり、終端条件——つまりゴールの位置——を与えたうえで、時間を逆向きに積分して解かれる。

数式が苦手な読者へ：だから定理8 が「未来の終端条件が、いまの制御を決める」と言うのは、神秘でもオカルトでもない。物理時間が逆流するのではない。終端条件つきの最適制御という問題設定において、決定の依存方向が未来から現在へ向かう、という構造的な事実である。定理32 の未来限定Ego（32.1）も、この形の問題として書かれている。

Ⅴ めぐりつづけることについて

マルコフ連鎖の再帰定理 ── 「有限で、どこへでも行けるなら、必ず戻ってくる」

数式が苦手な読者へ：道具⑮のすごろくを思い出してほしい。次にどこへ行くかが「いまどこにいるか」だけで決まる移動がマルコフ連鎖、どのマスからどのマスへもいつかは行けるのが既約であった。再帰定理が言うのは次の一行である——「マスの数が有限で、既約であれば、どのマスにも確率1で無限回もどってくる。」

数式が苦手な読者へ：「確率1で」は「ほぼ確実に」という意味である。「たまたま戻らないこともある」のではなく、戻らないという事態の確率がゼロだということである。しかも「一回は戻る」ではなく「無限回戻る」。何度でも、何度でも戻ってくる。定理31 が「六道をめぐりつづける」と述べるのは、この定理を六つの領域に適用した結果である。

エルゴード定理 ── 「長い目で見れば、滞在率は決まった値に落ち着く」

数式が苦手な読者へ：再帰定理は「何度でも戻る」と言うだけで、どれくらいの割合でそこにいるかまでは言わない。それを与えるのがエルゴード定理（マルコフ連鎖の強法則）である。「長く続ければ続けるほど、各マスに滞在した回数の割合は、決まった正の値へ近づいていく。」その決まった値の組を定常分布と呼ぶ。

数式が苦手な読者へ：面白いのは、出発点がどこであっても同じ値に落ち着くことである。どこから始めたかは、長い目で見れば効かなくなる。定理31 の (31.6) 後半——長期訪問頻度が μ_r > 0 へ収束する——は、これである。μ_r が正であることが重要で、「ごくまれにしか訪れない領域」というものが存在しない、ということを意味する。

⚠️ ここを間違えやすいこの「滞在率」は更新の回数についての割合であって、物理時間の長さについての割合ではない。物理時間での滞在率として読むには、各領域での保持時間について追加の条件が要る。

Ⅵ 無我を決めている条件について

関係的機能完備性 ── 「効くものは、すべて関係の中に書いてある」

数式が苦手な読者へ：本書でいちばん重要な条件でありながら、名前がいちばん取っつきにくいのがこれである（条件25-D）。言っていることは一行——「未来に影響を与えるものは、すべて関係の記述の中に含まれている。関係の外から効いてくるものは無い。」

数式が苦手な読者へ：会社にたとえる。ある会社の来期の業績を決めるのは、人員・設備・資金・契約・市場といった書き出せる要素である。もしこれらを全部書き出したうえで、なお「書き出せないが業績を左右する何か」が残るなら、その会社には関係的機能完備性が無い。逆に、全部書き出せば十分だというのが、この条件である。

数式が苦手な読者へ：なぜこれが無我を決めるのか。定理25・定理28・定理29 の証明は、すべて同じ形をしている——「固定の芯があると仮定して、それをつまんで差し替えてみる」。すると二つに一つである。未来が変わったなら、それは関係の外から効いたことになり、この条件に反する。未来が変わらなかったなら、それは因果的に余分であり、そもそも「芯」の定義を満たさない。どちらへ転んでも芯は残らない。

⚠️ ここを間違えやすい無我の理由は「集合だから」でも「関係から定義されるから」でもない。関係的に定義された集合にも、独立なラベル変数を後から勝手に付け加えることは数学的に可能だからである。無我を決定しているのは、あくまでこの条件25-D である。

数式が苦手な読者へ：以上で、本書の証明に出てくる名前つきの道具はすべて出そろった。これらは一つも本書が発明したものではない。どれも数学の標準的な道具であり、教科書に載っている。本書がしたのは、認知と仏法についての主張を、これらの標準的な道具で扱える形に書き直したことだけである。奇妙な数学は一つも使っていない——これは、本書の主張を検証しようとする読者にとって、重要な事実である。

継承定理のおさらい — かならず標準形からはじめる

定理28から32は、いきなり空中から出てくるのではない。すでに証明済みの定理群の上に載っている。本章では、本書が直接使う継承定理（定理1・3・4・7・8・9・15・16・18、および四法印の定理24・25・26）を、まず『苫米地抽象度自由論』全定理一覧の標準形で掲げ、そのうえで、本書で別の書き方をする場合はその理由と、同じ主張であることの対応を示す。この順序は本書全体を通じて守られる。

数式が苦手な読者へ：なぜこんな面倒なことをするのか。同じ定理が、論文によって少しずつ違う書き方をされていることがある。それは中身が違うからではなく、その論文で必要な部分を細かく書いているからである。だから本書では、いつも先に「正式な短い形」（標準形）を出し、次に「本書ではこう書きます、なぜならこうだからです、そして両者は同じ主張です」と説明する。読者が混乱しないための約束事だと思ってほしい。

共通の道具 — 統一収束補題（補題0）

これから並べる継承定理の証明は、すべてたった一つの補題に帰着する。先にそれを掲げておけば、あとの証明はどれも「残差を作って、この補題に投げ込む」だけになる。

Φ ≥ 0 が軌道上で絶対連続、かつ Ω_θ の外で D⁺Φ(t) ≤ −cΦ(t)（c > 0）ならば、Φ(t) ≤ Φ(0)e^−ct であり、dist(x(t), Ω_θ) → 0補題0（統一収束補題）。D⁺ は右上ディニ微分（道具⑱）、Ω_θ は Φ の劣位集合。さらに二次の挟みうち c₁dist² ≤ Φ ≤ c₂dist²（道具⑲）を併せれば、dist(x(t), Ω_θ) ≤ √(c₂/c₁) e^−ct/2 dist(x(0), Ω_θ) を得る。

数式が苦手な読者へ：この補題は、道具④と道具⑱と道具⑲を一つにまとめたものである。読み方はこうである。「ゼロ以上のメーター Φ があって、それが安全地帯の外にいるあいだは必ず、いまの高さに比例した速さで下がっていく。ならば、そのメーターは指数的にゼロへ落ち、点は安全地帯へ近づく。」以下のすべての定理は、それぞれ自分専用のメーター Φ を作り、この補題に投げ込むことで証明される。

定理1（苫米地主定理）

◆ 中心式（標準形）π_c = arg min ∫V₀ dt　⇒　x(t) → TCZ『苫米地抽象度自由論』全定理一覧の標準形に一致

本書で展開形も併記する理由。到達可能な領域への収束を「距離」で述べる必要があるため、積分の範囲・引数・到達可能性の限定を明示します。
次の対応により、下の式は標準形とまったく同じ主張です。
∫V₀ dt ≔ ∫₀^TV₀(x(t),t) dt（範囲と引数を明示）／TCZ ≔ TCZ₁^cl(t;x₀)（実際に到達できる範囲に限った閉スライス）／x(t) → TCZ ⇔ dist(x(t), TCZ₁^cl(t;x₀)) → 0

dist(x(t), TCZ₁^cl(t;x₀)) → 0条件：非負評価 V₀ について TCZ = {x | V₀(x,t) ≤ θ}。閉ループ方策 π_c が解を生成し、V₀ が軌道上絶対連続で、TCZ の外で D⁺[V₀(x(t),t) − θ]⁺ ≤ −c[V₀ − θ]⁺ を満たす。

定理1。心は評価関数の谷、すなわち TCZ へ収束する。

証明の心：残差を Φ₁ ≔ [V₀(x,t) − θ]⁺ と置く。これは「しきい値をどれだけはみ出しているか」であり、TCZ の中ではゼロ、外では正である。仮定により、外では補題0の降下条件を満たす。よって Φ₁ は指数的にゼロへ落ち、Φ₁ = 0 は TCZ への所属と同値だから、到達可能閉スライスへの距離がゼロへ収束する。∎

⚠️ ここを間違えやすい収束の実質条件は、arg min であること自体ではない。arg min で選ばれた閉ループが、リアプノフ降下を満たすことである。「最小化さえすれば必ず落ち着く」ではない。

定理3（抽象的共有TCZ収束定理）

◆ 中心式（標準形）A(x)=0 ⇔ φ(x)=LUB(W₁,…,W_N),　A(t)→0『苫米地抽象度自由論』全定理一覧の標準形に一致

本書で展開形も併記する理由。標準形は「屋根に到達した状態とは何か」という特徴づけを述べます。本書は到達を保証する方策を必要とするため、方策の形でも書きます。述べている層が異なるだけで、主張は同一です。
A ≔ 𝒜_i（抽象残差＝屋根への未達度）／LUB(W₁,…,W_N) ≔ L^* = ∨W_i／A(t)→0 ⇔ ‖ι(φ_i(x_i(t))) − ι(L^*)‖ → 0

𝒜_i(t) → 0,　すなわち φ_i(x_i(t)) → L^* = ∨W_i条件：結合グラフが連結、各ズレ費用 S_ij が非負、抽象残差 𝒜_i が L^* = ∨W_i でちょうど 0 となる。拡張ラグランジアン ℒ_A = Σ_iV_i + Σ_(i,j)∈Eγ_ijS_ij + Σ_iη_i𝒜_i（η_i > 0）を最小化する閉ループのもとで成立。

数式が苦手な読者へ：複数の人がいて、それぞれ自分の世界を持っている。この定理が言うのは、「うまく結合された集団は、誰の世界も切り捨てない、いちばん低い共通の屋根へ上がっていく」ということである。平均を取って角を丸めるのではない。全員をまるごと包む最小の枠へ上がる。これが LUB（道具⑦）である。

証明の心：Φ₃ ≔ ℒ_A − inf ℒ_A と置く。結合グラフが連結だから、どの主体のはみ出しも必ずどこかの S_ij に現れる。つまり Φ₃ は全体の逸脱を漏れなく捉える。補題0により Φ₃ → 0。Φ₃ の各項は非負なので、和がゼロに落ちれば各項がゼロに落ちる。特に η_i𝒜_i → 0、すなわち 𝒜_i → 0。𝒜_i は L^* でのみゼロになるよう作られているので、φ_i(x_i(t)) → L^*。∎

定理4（苫米地臨場感加重定理）

◆ 中心式（標準形）Ṽ = V₀ − κPQ,　x → TCZ_P『苫米地抽象度自由論』全定理一覧の標準形に一致

本書で展開形も併記する理由。標準形は変形の定義と行き先だけを述べます。本書は変形後の閉ループが降下条件を満たすことを使うため、方策 π_c(P) を明示します。
TCZ_P ≔ Ω_P(t)（変形後の閉到達可能スライス）／x → TCZ_P ⇔ dist(x(t), Ω_P(t)) → 0

dist(x(t), Ω_P(t)) → 0,　∂Ṽ/∂P = −κQ条件：臨場感 P ∈ [0,1]、価値符号 Q、κ > 0 に対し Ṽ ≔ V₀ − κPQ とする。Ṽ が非負評価の要件を満たし、π_c(P) の閉ループが補題0の降下条件を満たす。

定理3は屋根まで上がることを、定理4は地形そのものが変わることを述べる。

数式が苦手な読者へ：ここが本書全体でいちばん大事な着想である。行動が変わるのは、意志が強いからではない。地形が変わるからである。ある未来の世界を強い臨場感 P で感じているとき、その世界に対応する場所の点数が κPQ だけ下がる。つまりそこに谷ができる。谷ができれば、ボールはひとりでにそちらへ転がる。定理32 の「絶対他力」も、この機構の延長線上にある。

証明の心：Ṽ を評価関数として、残差 Φ₄ ≔ [Ṽ(x,t) − θ]⁺ を作る。Ṽ もまた非負評価の要件を満たすので、補題0がそのまま適用でき、Φ₄ → 0、したがって dist(x(t), Ω_P(t)) → 0。谷の位置が P とともに連続に動くことは、Ṽ を P で直接微分して ∂Ṽ/∂P = −κQ を得ることによる。Q > 0 の対象では地形が下がり、Q < 0 の対象では上がる。∎

定理7（苫米地真のゴール定理）・定理8（苫米地未来原点認知時間定理）・定理9（苫米地未来原点ゴール達成定理）

◆ 中心式（標準形）── 定理7G ∉ TCZ₀,　d(G,TCZ₀) ≥ ε > 0,　G = Self-set『苫米地抽象度自由論』全定理一覧の標準形に一致

◆ 中心式（標準形）── 定理8u^* = arg min J_G；終端条件 G が現在制御を決定『苫米地抽象度自由論』全定理一覧の標準形に一致

◆ 中心式（標準形）── 定理9K_G = PQ⁺ + EC_Self ≥ K_crit と Lyapunov 降下　⇒　x → TCZ_G確定形（2026-08-13）。『苫米地抽象度自由論』全定理一覧の旧表記 PQ⁺EC_Self は本形に改訂

定理7が資格を、定理8が決定方向を、定理9が到達を与える。三つで一組である。

数式が苦手な読者へ：この三つは役割分担がはっきりしている。定理7は「どういうゴールなら本物のゴールと呼んでよいか」を決める。四つの条件がある——(i) いまの安定領域の外にあること、(ii) 外から強制されたものではなく本人のものであること、(iii) 高位の Self と整合していること、(iv) 実際に制御問題へ効いてくること。定理8は「未来に置いた終端条件が、いまの行動を決める」ことを示す。物理時間が逆流するのではない。終端条件つきの最適制御では、決定の依存方向が未来から現在へ向かう、という構造的事実である。定理9は「実際に到達するには、駆動の強さが臨界値を超える必要がある」ことを示す。

J_G[u] = ∫_t^TV₀(x(τ),τ)dτ + λ d(x(T),G)²,　λ > 0定理7が特徴づける終端条件つき制御問題。第一項が道中の合計しんどさ、第二項が「終わったときにゴールからどれだけ離れているか」の罰。

u^* = arg min_u J_G　⇔　−∂W_G/∂t = min_u{ V₀(x,t) + ∇W_G(x,t)·f(x,u,t) }定理8。価値関数 W_G(x,t) ≔ min_uJ_G[u] は、終端条件 W_G(x,T) = λd(x,G)² をもつハミルトン–ヤコビ–ベルマン方程式を満たす。この方程式は時間について後ろ向きに積分される。

証明の心：定理7は論理的な証明である。四つの条件を一つずつ外してみて、外すと何が混入するかを示す。(i) を外すと、実質的にいまの安定域を再構成せずに届くゴールが混じる。(ii) を外すと外部から強制された状態が、(iii) を外すと負価値または自己不整合な状態が、(iv) を外すと方策に影響しない飾りの目標が混じる。よって四条件がちょうど所期の対象を特徴づける。定理8は最適性原理からハミルトン–ヤコビ–ベルマン方程式を導き、それが後ろ向きに積分されることを見る。定理9は、定理4により K_G の寄与だけ変形された評価 Ṽ_G について残差 Φ_G ≔ [Ṽ_G − θ_G]⁺ を作り、K_G ≥ K_crit のもとで補題0へ帰着させる。∎

⚠️ ここを間違えやすい定理7は到達を保証しない。「これは本物のゴールである」という資格審査だけを行う。到達は定理9の仕事である。ここを混ぜると、「ゴールを立てさえすれば叶う」という誤読になる。

定理15（苫米地認知物理エントロピー交換・保存定理）

◆ 中心式（標準形）S_gen = S_phys + Σw_αH_α,　dS_gen/dt = Π ≥ 0『苫米地抽象度自由論』全定理一覧の標準形に一致

本書で展開形も併記する理由。定理30 の条件30-C は、この定理の交換式を層ごとに、条件付きの形で使います。そのため、どの層のことか（α）、換算レートはいくらか（w_α）、どの区間のことか、を省かずに書きます。
次の対応により、下の式は標準形とまったく同じ主張です。
Σw_αH_α ≔ Σ_α≻0w_αH_α(x_α(t))（層の番号と、いつの状態かを明示）／dS_gen/dt = Π ≥ 0 ⇔ S_gen(t₂) − S_gen(t₁) = ∫_t₁^t₂Π(s) ds ≥ 0（合計の増分は、散逸を足し上げた量にちょうど等しい）

この定理が新しく主張していること

数式が苦手な読者へ：まず、いちばん下の物理の階だけを見ているとき、何が言えるかを確認する。答えは二つだけである。エネルギーは保存する——これは等式である。増えも減りもせず、ぴったり同じ量が残る。エントロピー（散らかり度）は増える——これは不等式にすぎない。「増えるか、せいぜい変わらない」としか言えない。物理の階だけを見ているかぎり、エントロピーについて等式としての保存則は存在しない。

数式が苦手な読者へ：ところが、高い抽象度の階まで一緒に見ると、話が変わる。心の側で意味が整理されて減ったぶんは、物理の側で散らかりが増えたぶんと、ちょうど釣り合っている。だから両方を正しいレートで足した合計は、散逸（手数料）の分しか増えない。手数料がゼロの理想条件なら、合計はぴったり一定である。エントロピーについても、等式としての保存則が成り立つ。これが定理15の新しさであり、苫米地認知物理学数理体系の中心定理の一つであるが、これまで非公開としてきた定理である。物理学ではエネルギー保存の法則はあってもエントロピー保存の法則はない。認知宇宙まで広げるとエントロピーは交換・保存されると言う初の主張であり、厳密証明である。この定理がないと仏陀は厳密に理解出来ない。

物理層だけでは保存則はエネルギーだけ。高抽象度層まで含めると、エントロピーにも保存則が立つ。

ステップ1 — 二つの散らかり度を、一冊の帳簿に載せる

数式が苦手な読者へ：心の側の散らかり度（意味エントロピー H_α）と、物理の側の散らかり度（物理エントロピー S_phys）は、そのままでは足せない。単位が違うからである。円とドルを足すには為替レートが要る。そのレートにあたるのが換算重み w_α（正の定数）である。レートを掛けてそろえたうえで足したものを、一般化総エントロピー S_gen と呼ぶ。

S_gen(t) ≔ S_phys(t) + Σ_α≻0w_αH_α(t)一般化総エントロピー。物理層の物理エントロピーと、各高抽象層の意味エントロピーを、正の換算重みでそろえて足したもの。

単位が違うので、正の換算レートを掛けてから足す。これで一冊の帳簿になる。

ステップ2 — 収支の規則（交換式）

dS_phys/dt = −Σ_α≻0w_αdH_α/dt + Π(t),　Π(t) ≥ 0仮定A7（層間結合＝交換式）。認知側で意味エントロピーが減った分（右辺第一項）は、レート換算されて物理側の増加として計上される。Π は散逸項——不可逆性・熱化・余剰生成・環境との相互作用。

🔤 記号の読み方S_phys＝物理の散らかり度／H_α＝抽象度 α の層での意味の散らかり度／w_α＝換算レート（正の定数）／Π＝散逸＝手数料（必ず 0 以上）／S_gen＝レートでそろえて足した合計

🌱 なぜそう置くのか ── どこが定義で、どこが公理かここは正直に切り分けておく必要がある。上の交換式は二つの部分からできている。第一は定義である。「Π を、物理側の変化と認知側の変化の合計と名づける」ことには、いかなる内容もない。名前を付けただけである。第二は符号の条件 Π ≥ 0 であり、これだけが実質的な公理である。これは一般化された第二法則にあたる。したがって定理15 は「代入して打ち消すだけの計算」ではない。実質は次の三点にある——(1) 層が無限個ありうる状況で、合計が本当に微分できる意味を持つこと。(2) 保存が「散逸がゼロであること」と同値であること。(3) この保存則が物理層だけには還元できないこと。

ステップ3 — 結論

dS_gen/dt = Π(t) ≥ 0,　　S_gen(t₂) − S_gen(t₁) = ∫_t₁^t₂Π(s) ds ≥ 0結論(I)。合計は単調非減少であり、増えた量はちょうど散逸を足し上げた量に等しい。

Π = 0（ほとんど至る所）　⇔　S_gen は定数結論(II)。散逸がゼロであることと、合計が保存されることは同値である。理想閉鎖可逆系では S_gen(t) = S_gen(0) が厳密に成り立つ。

理想閉鎖可逆系（左）では合計は一定。散逸のある現実系（右）では、散逸の分だけ増える。

証明の心：三手である。① 合計 S_gen を作る。② 時間で微分する。ここで「無限個の項を一つずつ微分して足してよいか」という問題が生じるが、これは補題（項別微分）で保証される。③ 交換式を代入すると、認知側で減った分と物理側で増えた分がきれいに打ち消し合い、残るのは散逸 Π だけになる。手数料がなければ合計は動かない（保存）。あれば、その分だけ増える（第二法則）。それ以上でもそれ以下でもない。∎

ステップ4 — 心を整えられる量には、上限がある

Σ_α≻0w_α[H_α(t₁) − H_α(t₂)] = [S_phys(t₂) − S_phys(t₁)] − ∫_t₁^t₂Π(s) ds ≤ S_phys(t₂) − S_phys(t₁)結論(III)。等号成立は散逸がゼロのときに限る。

数式が苦手な読者へ：左辺は「その区間で実際に達成できた、心の整理の総量」である。右辺は「その区間で物理側へ捨てた散らかりの量」である。この式が言っているのは——捨てた量より多くは、決して整えられない。しかも、散逸（手数料）がゼロのときに、ちょうど等しくなる。定理30 の (30.9)(30.10) は、この式の特別な場合にほかならない。

達成できた秩序化の総量は、捨てた散らかりの量で上から押さえられる。

ステップ5 — なぜ「物理層だけでは保存則が無い」と言い切れるのか

数式が苦手な読者へ：ここまでは「交換式を認めれば、こうなる」という話であった。しかし本節の冒頭で述べた主張——物理層だけではエントロピーの保存則が存在しない——は、まだ示していない。これを示すには、具体的な例を一つ作ってみせればよい。

証人の系。合計は一定なのに、物理エントロピーだけは厳密に増えつづける。

🔍 証明を一歩ずつ1. 層を二つだけ（物理層と、高抽象層を一つ）用意する。散逸はゼロとする。
2. 高抽象層の意味エントロピーを H₁(t) = H₀e^−λt と置く。半分、また半分と減っていく（道具⑤）。
3. 交換式が成り立つように物理エントロピーを決めると、S_phys(t) = S_phys(0) + H₀(1 − e^−λt) となる。
4. このとき物理エントロピーはつねに厳密に増えつづける。散逸はゼロなのに、である。
5. ところが合計は S_gen(t) = S_phys(0) + H₀ となり、時刻によらない定数である。
6. つまり——合計は保存されるが、物理エントロピーは保存されない。これが第一の結論である。
7. さらに H₀ をいくらでも大きく取れるので、物理エントロピーの値はいくらでも広い範囲を掃く。
8. したがって、もし「物理エントロピーだけの関数」で保存量を作ろうとすれば、その関数はその広い範囲すべてで同じ値を取らねばならない。すなわち定数になるほかない。定数は何も語らない。
9. よって、保存量には必ず高抽象度層の量が入る。物理層への還元は不可能である。∎

⚠️ ここを間違えやすい誤解1：「熱力学第二法則が破られた」。違う。まったく逆である。第二法則が主張するのは適切に閉じた全体系のエントロピー非減少であり、定理15 はまさにその全体量 S_gen について非減少を与える。個々の項（各 H_α や S_phys）は部分系だから局所的に減りうるが、その減少は必ず他項の増加と散逸によって補償される。定理15 は第二法則を破らないどころか、一般化エントロピーの水準でそれを内包している。
誤解2：「心を整えると環境に悪い」。そういう話ではない。定理15 が述べるのは、認知的な秩序化が物理法則の内側で起こる——つまり整合的である——ということである。むしろ力点は逆で、「心が整うのは、物理法則を破る神秘的な出来事ではない」という擁護にある。
誤解3：「換算レート w_α の値が計算された」。違う。証明が使うのは w_α の正値性と定数性のみであり、具体値には一切依存しない。
誤解4：「意味エントロピーは必ず減る」と証明された。違う。これは条件付きの収支則である。減少が起これば物理側の増大と結ばれる、と言っているだけである。

厳密な完全証明は学術版の §3.7（定理15）にある。原典は『苫米地認知物理エントロピー交換・保存定理』論文である。

定理16（苫米地自己意識存在・発生定理）

◆ 中心式（標準形）SC = lim_←TCZ_α ≠ ∅,　F_SC(S^*) = S^*,　M(S^*) represents S^*『苫米地抽象度自由論』全定理一覧の標準形に一致

本書で展開形も併記する理由。自己像が履歴に依存することが本書の要点（とくに定理30）であるため、主体 i と履歴 h の添字を落としません。
SC ≔ SC_i,h／TCZ_α ≔ K_i,α(h)（層 α の候補集合）／F_SC ≔ F_i,h

SC_i,h = lim_←K_i,α(h) ≠ ∅,　∃!S^*_i,h : F_i,h(S^*_i,h) = S^*_i,h,　d_SC(FⁿS₀, S^*_i,h) ≤ qⁿd_SC(S₀, S^*_i,h)条件：各抽象層 α の候補集合 K_i,α(h) が空でなくコンパクト、層間の射影が連続かつ整合的。さらに自己反映写像 F_i,h が縮小率 q < 1 の縮小写像である。

定理16。自己意識は、全層でつじつまの合う柱の集まりの上の、ただ一つの固定点である。

証明の心：存在と一意性は、出所が違う。存在は位相幾何から来る——各層の候補集合が空でないコンパクト・ハウスドルフ空間で、射影が連続なら、その逆系の逆極限は空でない（チコノフの定理からの標準的帰結）。一意性は不動点定理から来る——逆極限は完備距離空間であり、自己反映写像が縮小率 q < 1 の縮小写像なので、バナッハの不動点定理により固定点はただ一つ。しかも反復すれば必ずそこへ行く。∎

🌱 なぜそう置くのか「自己意識が在る」を、実体としてではなく、構造の性質として述べたのがこの定理の要である。自己意識とは、どの抽象度から見ても矛盾しない自己像が、少なくとも一つ、しかも一つだけ存在することである。そして固定点は履歴 h に依存する。示されたのは普遍的実体ではなく、履歴相対的な自己像である。この一点が、定理25（諸法無我定理）と定理16が矛盾しない理由であり、また定理30 の出発点でもある。

定理18（苫米地内省言語進化定理）

◆ 中心式（標準形）H(Z|Y,M_ℓ) < H(Z|Y);　Π₀ ⊆ Π_ℓ;　∂ℱ/∂ℓ > 0『苫米地抽象度自由論』全定理一覧の標準形に一致

H(Z|Y,M_ℓ) < H(Z|Y),　Π₀ ⊆ Π_ℓ,　∂ℱ/∂ℓ > 0条件：内省言語 M_ℓ が観測 Y に対して非自明な情報を与える（すなわち I(Z;M_ℓ|Y) > 0）。

定理18。内省言語は、わからなさを減らし、選べる手を増やす。

数式が苦手な読者へ：三つのことを同時に言っている。情報——内側のことばを持つと、自分について「わからないこと」が減る。制御——ことばを持つ主体は、持たない主体の方策をすべて真似できる（ことばを無視すればよいだけである）。だから選べる手は必ず広がる。進化——選べる手が広がれば、自由意思の容量は減らない。非自明性のもとでは、狭義に増える。

証明の心：情報の部分は、条件付きエントロピーの単調性から H(Z|Y,M_ℓ) ≤ H(Z|Y) が常に成り立ち、等号は I(Z;M_ℓ|Y) = 0 のときに限る。非自明性の仮定がこれを排除するので、狭義不等号になる。制御の部分は包含関係が構成的に示せる。進化の部分は、方策集合が広がれば上限は減少しないことから従う。∎

⚠️ ここを間違えやすい定理18が言うのは「選べる手が増える」だけである。「高い抽象度へ出られる」とは一言も言っていない。この区別が、定理31 の全体を支えている。選択肢が増えても、増えた選択肢がすべて同じ檻の中にとどまるなら、到達できる抽象度は一つも増えない。

定理24（一切皆苦定理）・定理25（諸法無我定理）・定理26（涅槃寂静定理）

この三つの定理は、別論文『苫米地四法印定理』ですでに証明されている。本書はその結論だけを前提として使い、証明は再掲しない。

四法印論文から受け取る三つの結論。本書はこれらを再証明しない。

a ≺ ⊤　⇒　J^*_a,ρ(x,T) > 0定理24（一切皆苦定理）。条件24-A（空未満では V_a = 0 をほとんど至る所で永久に保つ方策が存在しない）と常設仮定（軌道評価の可測性、少なくとも一つの有限コスト方策の存在、最小値の実現）のもとで成立。

¬Atman(d, a)定理25（諸法無我定理）。条件25-B〜25-D（とくに関係的機能完備性 25-D）のもとで、関係記述から独立し、履歴を通じて固定され、個体化を担い、かつ因果的に非冗長な内在変数は存在しない。

𝒩_⊤(T) = ℬ_alive ∩ {x | J^*_⊤,ρ(x,T) = 0} ≠ ∅定理26（涅槃寂静定理）。単一の条件26-A（零苦集合と安定性）のもとで、この集合は空でなく、閉かつ前向き不変であり、二次の挟みうち (26.A) と厳密下降 (26.B) が成り立つ。本書が用いるのは (26.A) と (26.B) であり、(26.C) は不要である。

数式が苦手な読者へ：三つを日常のことばで言い直す。定理24——空より下のどの抽象度でも、最善を尽くしてもなお残るしんどさが必ずある。定理25——関係から切り離して、それだけで自分を自分たらしめる固定の芯は、どこにも無い。定理26——最高抽象度には、生きたまま残り苦がゼロになる状態の集まりが実在し、しかもそこは閉じていて、いったん入れば出ない。

🔤 記号の読み方a ≺ ⊤＝「抽象度 a は最高抽象度 ⊤ より下」／J^*_a,ρ(x,T)＝「層 a の状態 x から出発して、割引率 ρ のもとで最善を尽くしたときに残る、しんどさの合計」／ℬ_alive＝「生きていられる領域」／𝒩_⊤(T)＝「涅槃集合」＝生きていられる領域のうち、最高層の残り苦がゼロの状態ぜんぶ／¬Atman(d,a)＝「対象 d の層 a に固定の芯は無い」

これら三定理の厳密な完全証明は学術版『苫米地四法印定理』にある。継承定理1・3・4・7・8・9・16・18 の厳密証明は、本稿の学術版 §3 に再掲されている。

定理28 — 涅槃無我・型整合定理

この定理が答える問い

仏教を少し学んだ人が、たいてい最初につまずく場所がある。それはこういう問いである。

問い：「一切皆苦」——すべては苦である。そして「涅槃寂静」——苦の滅した静けさがある。この二つは、矛盾していないのか。すべてが苦なら、苦の無い状態など存在しないはずではないか。もし苦の無い状態があるなら、「すべては苦」は偽ではないか。

さらに、もう一つの問いが続く。

問い：「諸法無我」——すべては固定した実体を持たない。では涅槃はどうなのか。涅槃だけは実体なのか。もし涅槃が実体なら「諸法無我」は偽になる。もし涅槃も無我なら、いったい「涅槃がある」とはどういう意味なのか。

定理28は、この二つの問いに、数学として答える。答えは驚くほど単純である。第一の問いの答えは「そもそも同じ対象について語っていない」であり、第二の問いの答えは「涅槃も無我である。しかもそれで何も壊れない」である。

◆ 中心式

◆ 中心式（本定理の標準形）𝔇_<⊤ ∩ Nir(T) = ∅,　PZS(a,x,T) ⇔ [a=⊤ ∧ x∈𝒩_⊤(T)],　¬Atman(d_N,⊤)定理28（涅槃無我・型整合定理）。三つの主張が一組になっている。

数式が苦手な読者へ：三行を、そのまま日本語にする。第一行——「空より下の全部」と「涅槃」は、一つも共通の要素を持たない（∅ は空集合、つまり「何も無い」という意味）。第二行——「完全に寂静である」と言えるのは、タグが ⊤ であり、かつ、涅槃集合に入っているときに限る（⇔ は「このときに限る」、∧ は「かつ」）。第三行——涅槃という過程そのものにも、固定した芯は無い（¬ は「〜でない」）。

ステップ1 — なぜ矛盾に見えるのか、その原因

矛盾に見える原因は、実ははっきりしている。「同じ x」だと思い込んでいるからである。

数式が苦手な読者へ：たとえ話をする。「東京は暑い」と「東京は寒い」は矛盾する。しかし「東京の八月は暑い」と「東京の一月は寒い」は矛盾しない。同じ「東京」でも、月という札が付けば別の対象になるからである。定理28がやっているのは、これと同じことである。ただし札は「月」ではなく抽象度である。

この体系では、抽象度に上下の順序があり、いちばん上を ⊤ と書く。定理24（一切皆苦定理）が語っているのは、⊤ より下の層についてだけである。定理26（涅槃寂静定理）が語っているのは、⊤ の層についてだけである。二つは最初から、別々の領域について語っていた。ところが、両方を「状態 x について」と書いてしまうと、あたかも同じ x について正反対のことを言っているように見える。

「一切皆苦」と「涅槃寂静」は、別々のタグを持つ二つの部屋の話である。

ステップ2 — 札を付けて、混ざらないようにする

そこで、状態にあらかじめ抽象度の札を付けてしまう。これがタグ付き非交和（道具⑪）である。

𝔛 ≔ (⊔_a≺⊤{a} × X_a) ⊔ ({⊤} × ℬ_alive),　𝔇_<⊤ ≔ ⊔_a≺⊤{a} × X_a,　Nir(T) ≔ {⊤} × 𝒩_⊤(T)(28.1) タグ付き領域。⊔ は「混ぜずに並べる」、{a} × X_a は「札 a を付けた状態の集まり」。

数式が苦手な読者へ：この式は、こう読む。𝔛（全体の舞台）は、二つの部分を混ぜずに並べたものである。第一の部分は「⊤ より下のあらゆる層 a について、札 a を付けた状態の集まり」。第二の部分は「札 ⊤ を付けた、生きていられる領域」。そして 𝔇_<⊤ が第一の部分、Nir(T) が第二の部分のうち涅槃集合にあたる部分である。

🔤 記号の読み方⊔＝非交和（混ぜずに並べる）／×＝組にする（「札 a と、状態 x」の組 (a,x) を作る）／𝔛＝タグ付きの全舞台／𝔇_<⊤＝空より下の、札付き状態ぜんぶ／Nir(T)＝時刻 T における、札 ⊤ 付きの涅槃状態ぜんぶ／ℬ_alive＝生きていられる領域／𝒩_⊤(T)＝涅槃集合（定理26）

ステップ3 — 第一の主張：二つの部屋は決して交わらない

𝔇_<⊤ ∩ Nir(T) = ∅(28.3) 空より下の領域と、涅槃の領域は、共通部分を持たない。

証明の心：これはほとんど定義から直ちに従う。𝔇_<⊤ の要素はすべて札が a ≺ ⊤ であり、Nir(T) の要素はすべて札が ⊤ である。一つの要素が「⊤ より下」と「⊤ そのもの」を同時に満たすことはできない。よって共通部分は空である。∎

数式が苦手な読者へ：あっけないと感じたかもしれない。しかしそれこそが、この定理の言いたいことである。矛盾は最初から存在しなかった。存在したのは、札を落として書いたことによる見かけの矛盾だけである。札を戻せば、矛盾はひとりでに消える。数学の仕事は、深遠な調停案を出すことではなく、問題が実は問題でなかったことを示すことでもある。

ステップ4 — 第二の主張：どちらの部屋にも、それぞれの結論がそのまま生きる

(a,x) ∈ 𝔇_<⊤ ⇒ J^*_a,ρ(x,T) > 0,　　(⊤,x) ∈ Nir(T) ⇒ J^*_⊤,ρ(x,T) = 0(28.4) 左は定理24（一切皆苦定理）そのもの、右は 𝒩_⊤(T) の定義そのもの。

残る苦の値は、層が上がるにつれて徐々に減るのではない。⊤ とそれ以外という、二値の切れ目である。

数式が苦手な読者へ：ここは大事なので、はっきり言っておく。「抽象度を上げていけば、だんだん苦が減っていく」という話ではない。定理24が言っているのは、⊤ より下ならどの層でも J^* > 0、ということである。層 a₁ でも a₂ でも a₃ でも、残る苦は正である。ゼロになるのは ⊤ だけ。連続的な目盛りではなく、二値の切れ目である。

ステップ5 — 第三の主張：「完全に寂静」を、ひと言で言い切る

PZS(a,x,T) ⇔ [ a = ⊤ ∧ x ∈ 𝒩_⊤(T) ](28.5) 完全寂静述語 PZS。「完全に寂静である」ための必要十分条件は、札が ⊤ であり、かつ状態が涅槃集合に属することである。

完全な寂静は、二つの条件が両方そろったときにだけ成り立つ。

数式が苦手な読者へ：⇔ は「必要十分」、つまり「このときに限り、そしてこのときは必ず」を意味する。だから、この式は二つのことを同時に言っている。(→) 完全に寂静ならば、必ず札は ⊤ であり、かつ涅槃集合に入っている。(←) 逆に、札が ⊤ で涅槃集合に入っていれば、必ず完全に寂静である。片方だけでは足りない。札が ⊤ でも涅槃集合に入っていなければ寂静ではないし、涅槃集合に入っていても札が下なら（そもそも定義上ありえないが）寂静ではない。

ステップ6 — 第四の主張：涅槃そのものにも、固定の芯は無い

ここからが、この定理のいちばん重要な部分である。前半（型整合）は、率直に言えば「札を戻せば矛盾は消える」という整理にすぎない。しかし後半は、内容のある新しい主張である。

仏教に詳しくない読者へ：問いを、もう一度はっきりさせる。「諸法無我」——すべては固定した実体を持たない。ならば涅槃はどうか。伝統的にも、この問いは大きな論争を呼んできた。涅槃を「無為法」として、無常や無我の適用外に置く立場もあれば、涅槃を含めて一切を無我と読む立場もある。定理28は、後者の立場が数学的に整合することを示す。

そのために、まず「涅槃」を数学の対象として、正確に何と見なすかを決める。

d_N ≔ ( T ↦ 𝒩_⊤(T) )条件28-A。涅槃を「一つの固定した場所」ではなく、時刻 T ごとに涅槃集合を返す、一つの過程として扱う。そのうえで、この d_N を定理25（諸法無我定理）が扱う現象索引集合 𝔇 に加える。

Θ_N = ( X_⊤, ℬ_alive, V_⊤, ρ, Pol_⊤, f_⊤, π⁰_⊤ )(28.2) 涅槃過程の関係状態 Γ_{d_N,⊤} が少なくとも含むもの。最高層の状態空間、生存可能領域、評価関数、割引率、方策集合、力学、基準方策。これに加えて集合族 𝒩_⊤^Θ_N(T)、履歴、層間関係、他存在との関係を含み、候補自性 Σ_N への介入について条件25-D を満たす。

数式が苦手な読者へ：この長い括弧は、恐れる必要はない。言っているのは「涅槃という過程が何によって決まっているか、その材料を全部並べた」ということだけである。舞台となる空間、生きていられる範囲、しんどさの測り方、遠い未来をどれだけ割り引くか、選べる手の集まり、状態がどう動くかの規則、基準となる手。この七つが決まれば、涅槃集合は決まる。逆に言えば、これら以外の「隠れた何か」は要らない——それがこの節の主張である。

¬Atman(d_N, ⊤)(28.6) 涅槃過程には、関係記述から独立し、履歴を通じて固定され、個体化を担い、かつ因果的に非冗長な内在変数は存在しない。定理25（諸法無我定理）の全層条件を d_N に継承する場合は、∀a∈𝒜 ¬Atman(d_N,a) が成り立つ。

介入テスト。効くなら条件25-Dに反し、効かないなら芯の定義を満たさない。どちらでも芯は残らない。

証明の心：二者択一を、両方つぶす。いま仮に、涅槃過程に「関係から独立した固定の芯」Σ_N があったとする。そして、その Σ_N をつまんで別のものに差し替えてみる（介入テスト、do テスト）。すると二つの場合しかない。(i) 未来が変わる場合——ということは Σ_N は、関係状態 Γ_{d_N,⊤} の外側から効いたことになる。しかし条件25-D（関係的機能完備性）は「効くものは全部、関係状態の中に入っている」と述べている。矛盾。(ii) 未来が変わらない場合——ということは Σ_N は因果的にまったく余分であり、「非冗長な個体化原因」という Atman の定義そのものを満たさない。どちらへ転んでも Atman(d_N,⊤) は偽である。∎

🌱 なぜそう置くのかなぜ涅槃を「点」ではなく「時刻ごとに集合を返す過程」として置くのか。理由は二つある。第一に、それが定理26（涅槃寂静定理）の定義に忠実だからである。定理26 が与えたのは 𝒩_⊤(T)、すなわち時刻 T に依存する集合であって、単一の点ではない。第二に、こう置くことで、涅槃を定理25（諸法無我定理）の射程内に、素直に持ち込めるからである。定理25 は「現象索引集合 𝔇 に属する対象」について語る。涅槃をそこへ入れるには、涅槃が 𝔇 の要素として扱える形をしていなければならない。過程として置けば、それができる。

⚠️ ここを間違えやすい誤解1：「涅槃は存在しない」と言っている。違う。𝒩_⊤(T) は数学的な集合として、はっきり定義でき、空でない（定理26）。存在は否定されていない。否定されるのは、その関係記述を超える、独立・固定・因果的に非冗長な自性だけである。
誤解2：「涅槃は時々刻々変わる」と証明された。違う。記号 T が付いているだけでは、実際に時変であるとは言えない。定数の集合族であっても、この記法は許される。「必ず時々刻々変わる」と言い切るには、∃T₁,T₂: 𝒩_⊤(T₁) ≠ 𝒩_⊤(T₂) を別途示す必要がある。
誤解3：「集合だから無我」あるいは「関係から定義されるから無我」。違う。これが本定理でいちばん誤解されやすい点である。集合であることや関係から定義されることは、無我の理由にはならない。関係的に定義された集合にも、独立なラベル変数を後から勝手に付け加えることは、数学的に可能だからである。無我を導く決定条件は、あくまで条件25-D（関係的機能完備性）である。

🔍 証明を一歩ずつ1. 状態に抽象度の札を付け、非交和で並べる（道具⑪）。これで「⊤ より下」と「⊤」は別々の要素になる。
2. 一つの要素が「⊤ より下」と「⊤」を同時に満たすことはできない。よって二つの領域の共通部分は空である。これが (28.3)。
3. 定理24（一切皆苦定理）は a ≺ ⊤ にのみ量化されている。定理26（涅槃寂静定理）は a = ⊤ にのみ寂静点を与える。したがって同一の型付き点について、正費用と零費用を同時に主張することはない。これが (28.4)。
4. 定理26 の完全寂静の分類を、この非交和の上へ持ち上げる。すると (28.5) が得られる。
5. 涅槃を過程 d_N として定理25 の現象索引集合に加える（条件28-A）。
6. 独立候補 Σ_N に介入する。分布が変われば条件25-D に反し、変わらなければ因果的に冗長で Atman の定義を満たさない。
7. どちらの場合も Atman(d_N,⊤) は偽。よって (28.6)。∎

教学のうえで言えること、言い過ぎになること

仏教に詳しくない読者へ：ここは、数学と教学のあいだに線を引く節である。本モデルは、出世間（涅槃）を含めて無我と読む注釈的立場と整合する。しかし、説一切有部の三句再編や、上座部注釈における異読の歴史的な優劣は、数学からは決まらない。数学が保証するのは、二つだけである——型付き領域の排他性と、条件28-A のもとでの無我。それ以上でもそれ以下でもない。

厳密な完全証明は学術版『苫米地認知宇宙論〜仏法数理厳密証明定理28–32』の §4（定理28）にある。

定理29 — 形式法体系無自性・不完備定理

この定理が答える問い

問い：教えというものは、完成しうるのか。ある教説の体系が、自分のなかだけで完結し、自らを基礎づけ、もう何も足す必要がない——そういう状態はありうるのか。

定理29の答えは「ありえない、ただし条件つきで」である。この「条件つきで」が非常に重要なので、本節は他の節より丁寧に、順を追って進む。

数式が苦手な読者へ：この定理はゲーデルとチャイティンという二十世紀数学の大結果を使う。しかし、それを使ってよい資格があるかどうかが、この節のほとんどを占める。結論だけ先に言えば——「あらゆる教えは不完全である」とは、この定理は主張していない。主張しているのは「もしある教説が三つの条件を満たす形に書けるなら、そのときは以下が従う」という条件文だけである。

ステップ0 — そもそも、教えを数学の対象にしてよいのか

この問いには、数学の内部では決着がつかない。だからこそ先に答えておく必要がある。

モデル化するのは命題的閉包をもつ部分だけ。右側については本定理は何も述べない。

数式が苦手な読者へ：本定理がモデル化するものは一つだけである。命題として述べられ、決まった推論関係のもとで閉じている、教説の集まり。これを 𝕋_h と書く（h は履歴の段階を数える番号）。モデル化しないものは三つある。第一に、実践・修行・体験そのもの。第二に、言語的な定式化を超えるとされる内容（この体系の用語では、最高抽象度における不可説の側面）。第三に、命題的な閉包を持たない、実践的な指示だけからなる教示。本定理は、この三つについては一言も述べない。

ステップ1 — 三つの条件と、それがなぜ恣意的でないのか

条件29-Aの三つ。どれも「教説が教説として機能するための必要条件」である。

(a) 有効性 — 公理集合が帰納的可算であること

数式が苦手な読者へ：「ある命題がその教説に属するかどうか」を、有限の手つづきで判定または枚挙できる——これが有効性である。なぜこれが要るのか。これが無ければ、その教説は教授も伝承も検証もできない。何が説かれたのかを確定できない体系は、後の世代がそれを保持できず、異説との区別もつかない。逆に、経典の集成・結集・注釈の伝統が実際に成立してきたという歴史的事実は、その教説が枚挙可能な形で扱われてきたことを示している。したがって有効性は、法が伝えられうるための条件そのものである。この条件を外すことは、伝承可能性そのものを放棄することに等しい。

(b) 算術強度 — ロビンソン算術 Q を解釈できること

数式が苦手な読者へ：まず、なぜ「算術」が出てくるのかを納得してほしい。教説の内部には、有限の列と、その上の繰り返しが必ず現れるからである。十二縁起は順序づけられた十二の項の列であり、五蘊・六処・四諦は有限個の項目の枚挙であり、順観と還滅観はその列に沿った前進と後退の反復である。この体系ではさらに、抽象度の束に沿った再帰（定理22（高高度LUB臨場感定理）の包摂更新）が現れる。「第一の支の次が第二の支である」と体系の内部で言えなければ、十二縁起を十二縁起として述べたことにならない。

数式が苦手な読者へ：では、そう言うために最低限どれだけの算術が要るのか。答えは、驚くほどわずかである。次の三つがあれば足りる。①「次」を作る操作——ある数の次の数を指させること（0 の次が 1、1 の次が 2、…）。② 足し算とかけ算——ただし、答えが決まるという規則だけ。③ 基本的な順序——どちらが先でどちらが後かが言えること。この三つだけを公理にした、ごく小さな算術に名前がついている。それがロビンソン算術 Q である。

数式が苦手な読者へ：Q がどれくらい小さいかを言っておく。私たちが学校で習う算術（ペアノ算術）には数学的帰納法——「0で成り立ち、次へ受け継がれるなら、すべての数で成り立つ」という強力な原理——が入っている。Q には、この帰納法が入っていない。だから Q では「足し算は順番を入れかえてよい」という当たり前のことすら、一般には証明できない。それほど弱い。それでも、有限の列を指し、その上を一つずつ進むことはできる。「教説を教説として述べるのに必要な最低限」が、ちょうどこの水準なのである。

数式が苦手な読者へ：ここが定理29 の要になる。ゲーデルの不完全性定理は、この Q さえ解釈できれば発動する。強い算術が要るのではない。これほど弱い算術で十分だというのが、ゲーデル以後に分かったことである。だから「うちの教説は数学など使っていない」という抗弁は効かない——有限個の項目を順に並べて語っているなら、もう Q の水準には達しているからである。

数式が苦手な読者へ：逆向きの注意もしておく。Q すら解釈できない体系には、定理29 は適用されない。そのかわり、そういう体系は自分の枚挙構造を自分で語れない——「十二の支がある」と体系の内部で述べることができない。つまりここには取引がある。自らの構造を語れるだけの力を持てば、必ず不完全性を背負う。不完全性を免れたければ、自らを語る力を手放すほかない。算術強度という条件は、この取引の分岐点を指している。

(c) 健全性 — 証明された算術的言明が真であること

数式が苦手な読者へ：自分の有限的な組合せ構造について偽を証明してしまう体系は、自己論駁的である。たとえば「十二の支は十三である」を証明できてしまう体系は、その枚挙の意味を失う。健全性は、教説が自らについて誤らないという、最小限の要求である。なお技術的な注記をしておくと、定理29の第一・第二の結論には健全性まで必要ではなく、無矛盾性（第二不完全性定理）および ω 無矛盾性ないしロッサー型の議論（第一不完全性定理）で足りる。健全性を課すのは、結論を平易に述べるための強化であって、本質的な制約ではない。

ステップ2 — 適用範囲の限定を、明示しておく

⚠️ ここを間違えやすい三条件のいずれかが満たされない体系には、定理29は適用されない。具体的には、(i) 公理集合が枚挙不能な体系、(ii) Q を解釈できないほど表現力の弱い体系、(iii) 自らの有限的言明について誤る体系。本定理は「あらゆる法が不完全である」とは主張しない。主張するのは、条件29-A を満たす形式化された教説体系について不完全性が従う、という条件付き言明のみである。

⚠️ 本定理が主張しないこと（三点）第一に、教説が誤りであるとは主張しない。不完全性は虚偽性ではない。決定不能文の存在は、体系が偽を含むことを意味しない。第二に、教説が無矛盾でないとは主張しない。第二不完全性定理が述べるのは、無矛盾性を内部で証明できないということであって、無矛盾でないということではない。第三に、宗教としての法の価値について何も述べない。本定理の射程は、命題的閉包を持つ形式化部分に限られる。

ステップ3 — 想定される反論と、それへの応答

反論：「法は形式体系ではない。これは範疇錯誤（カテゴリー・ミステイク）である。」

数式が苦手な読者へ：応答。本定理は、法と形式体系の同一性を主張していない。主張は条件文である——「ある教説の集まりが条件29-A を満たすならば、以下が従う」。したがって、法を形式体系とみなさない立場は、本定理と衝突しない。むしろ本定理の力が向かう先は別にある。それは「教説は完全であり、自らのうちで完結して基礎づけられている」という主張である。そのような主張は、教説が教授可能（有効性）であり、かつ自らの枚挙構造を語れる（算術強度）ことを同時に要求するため、まさに条件29-A の適用対象になる。本定理が否定するのは法ではなく、法についての完結性の主張である。

ステップ4 — 定理25（諸法無我定理）との関係

本定理は新しい形而上学ではない。定理25を、形式理論という一つの対象へ適用しただけである。

数式が苦手な読者へ：本定理が導く「無自性」は、定理25（諸法無我定理）の関係的機能完備性を、形式理論という特定の対象に適用した具体例である。すなわち、形式理論 𝕋_h は、自らの外部（メタ理論、より強い体系、追加の公理）との関係を外したとき、自らの無矛盾性という自己基礎づけを持たない。関係から切り離された自己完結的な基礎づけが存在しないという点で、これは定理25 の述べる無自性と同一の構造である。本節は新しい形而上学を導入せず、既存の定理を一つの対象へ適用しているにすぎない。

仏教に詳しくない読者へ：用語の区別をしておく。既存の定理25 はすでに「諸法無我定理」という名前を持っているので、本節はそれと同名にしない。また、現象としての dharma（生じては滅する、あらゆる存在・現象）と、教説として形式化された Dharma（説かれた教えの体系）を区別する。「法そのものが公理系である」というのは結論ではなく、モデル化の条件である。

◆ 中心式

◆ 中心式（本定理の標準形）∃G [ ℕ ⊨ G ∧ 𝕋_h ⊬ G ∧ 𝕋_h ⊬ ¬G ],　𝕋_h ⊬ Con(𝕋_h),　¬Atman(d_𝕋,a),　Th(𝕋_n) ⊊ Th(𝕋_n+1)定理29（形式法体系無自性・不完備定理）。四つの主張が一組になっている。

🔤 記号の読み方∃G＝「ある G が存在して」／ℕ ⊨ G＝「G は標準的な自然数の世界で真である」／𝕋_h ⊬ G＝「体系 𝕋_h は G を証明できない」（⊬ は「証明できない」）／¬G＝「G の否定」／Con(𝕋_h)＝「𝕋_h には矛盾が無い」という文／Th(𝕋_n)＝「体系 𝕋_n が証明できる文ぜんぶ」／⊊＝「真に含まれる」（含むが、等しくはない）／d_𝕋＝「段階を追って更新されていく形式理論の過程」

ステップ5 — 舞台を数式で書く

𝕋_h = ( L_h, Ax_h, ⊢_h ),　Th(𝕋_h) = Cn_{⊢_h}(Ax_h)(29.1) 履歴段階 h ごとの形式理論。L は言語、Ax は公理集合、⊢ は推論関係、Cn は「そこから導ける文ぜんぶ」を返す演算。

形式体系の三点セット。定理29はこの形に書けるものだけを扱う。

Ax_n+1 ≔ Ax_n ∪ {G_n},　𝕋_n+1 ≔ (L, Ax_n+1, ⊢),　Th(𝕋_n+1) = Cn_⊢(Ax_n ∪ {G_n})(29.2) 条件29-C（開放的更新規則）。全段階で同じ算術言語 L、同じ推論系 ⊢、同じ普遍機械 U を用いる。各有限段階 n で、標準模型では真だが 𝕋_n では証明不能な文 G_n をメタ理論で選び、公理に追加する。

数式が苦手な読者へ：条件29-C は、「見つかった証明できない文を、公理として継ぎ足していく」というルールである。∪ は「合わせる」。つまり、いままでの公理に G_n を一つ加えて、新しい体系 𝕋_n+1 を作る。この操作を無限に繰り返したら、いつか完全な体系になるのだろうか——それが次のステップの問いである。

ステップ6 — 三つの結論

定理29の三つの結論と、それぞれの出所。

∃ G_h [ ℕ ⊨ G_h ∧ 𝕋_h ⊬ G_h ∧ 𝕋_h ⊬ ¬G_h ](29.3) 真なる決定不能文が存在する。ゲーデル第一不完全性定理による。

𝕋_h ⊬ Con(𝕋_h)(29.4) 自己の無矛盾性を内部証明できない。ゲーデル第二不完全性定理による。

∀s ∈ {0,1}^* ∀n ∈ ℕ (n > c_h,U) : 𝕋_h ⊬ 「K_U(s̄) > n̄」(29.5) 機械 U と理論に依存する定数 c_h,U が存在し、それを超える複雑性の下界は証明できない。チャイティンの不完全性による。

「これは複雑だ」と証明できる範囲には、体系ごとに天井がある。

証明の心（第三の結論）：ここだけ少し工夫が要るので、骨格を述べる。背理法である。仮に一様な上限が無いとしよう。すると、どんなに大きい n に対しても、次のプログラムが書ける——「𝕋_h の証明を片端から列挙し、最初に現れた『K_U(s̄) > m』（ただし m ≥ n）という形の文を見つけて、その s を出力する」。このプログラムの長さは、固定された証明列挙器の長さ c_h と、n を自己区切りで書く長さの和、すなわち c_h + O(log n) である。一方、健全性により、出力された s は本当に K_U(s) > m ≥ n を満たす。ところが、その s はいま書いたプログラムで出力できてしまったのだから、複雑性は c_h + O(log n) 以下でなければならない。十分大きい n では c_h + O(log n) < n となり、矛盾。よって一様な閾値 c_h,U が存在する。∎

ステップ7 — 第四の結論：継ぎ足しても、終わらない

Th(𝕋₀) ⊊ Th(𝕋₁) ⊊ ⋯ ⊊ Th(𝕋_n) ⊊ ⋯(29.6) 条件29-C のもとでの厳密増大鎖。各有限段階で健全性を保ちながら、不完全性が再発する。有限段に最終完全理論はない。

Anicca^step(d_𝕋) :⇔ ∀n [ Th(𝕋_n+1) ≠ Th(𝕋_n) ](29.7) 離散的無常述語。これは条件29-C が与える更新過程の無常であって、ゲーデル・チャイティンだけの帰結ではない。

真の文を一つ足すたびに理論は本当に大きくなる。しかし新しい理論にも、また新しい決定不能文がある。

証明の心：ここは二段である。厳密増大であること——G_n は 𝕋_n では証明できないが、𝕋_n+1 では公理なので証明できる。したがって Th(𝕋_n) と Th(𝕋_n+1) は本当に違う。含むが等しくない。不完全性が再発すること——追加したのは標準模型で真の文なので、健全性は保たれる。言語も推論系も変えていないので、有効性も算術強度も保たれる。つまり 𝕋_n+1 はふたたび条件29-A を満たす。よってゲーデルの定理をもう一度適用でき、また新しい決定不能文が現れる。帰納的に、無限に続く。∎

🌱 なぜそう置くのかなぜ条件29-C（更新規則）を、わざわざ別に置くのか。不完全性定理だけからは、時間変化は出てこないからである。ゲーデルの定理は「ある一つの体系について」の主張であり、体系が時間とともに更新されるとは一言も言っていない。したがって「教説は無常である」を結論したいなら、更新の規則を、自分で明示して置かなければならない。それが条件29-C である。この誠実さを守らないと、「ゲーデルが仏教の無常を証明した」という、根拠のない飛躍になる。

⚠️ 論理学から直接は出ない主張「すべての公理系は不完全」は偽である。弱い決定可能理論（たとえばプレスバーガー算術）や、非効果的な完全真理集合は、射程外である。「不完全性定理だけで時間変化が出る」も偽である。更新は条件29-C で新たに与えた。「アプリオリが否定された」は哲学的解釈である。数学的結論は、十分に強い有効理論の非完結性、自己認証の限界、複雑性下界の内部証明限界の三つに限られる。「ゲーデル・チャイティンだけで仏教的無我が出る」も偽である。無自性の結論は、定理25（諸法無我定理）と条件29-B から出る。

🔍 証明を一歩ずつ1. 教説のうち、命題として述べられ推論で閉じている部分だけを取り出し、形式体系 𝕋_h として書く。
2. 条件29-A（有効性・算術強度・健全性）を確認する。満たさなければ、ここで終わり——本定理は適用されない。
3. 満たすなら、ゲーデル第一不完全性定理により、真だが証明できない文 G が存在する。
4. ゲーデル第二不完全性定理により、自らの無矛盾性を内部証明できない。
5. チャイティンの議論（背理法＋プログラム長の評価）により、複雑性下界の証明には天井がある。
6. 条件29-B により、この段階過程 d_𝕋 を定理25（諸法無我定理）の現象索引集合へ含める。定理28 と同じ二分法（介入して効くか効かないか）を適用し、¬Atman(d_𝕋,a) を得る。
7. 条件29-C により真文を一つずつ追加する。健全性が保たれ、包含は厳密で、各段階で再び条件29-A が成立するので、不完全性が無限に再発する。∎

厳密な完全証明は学術版の §5（定理29）にある。

定理30 — エントロピー交換自我構成定理

この定理が答える問い

問い：「私」とは何か。生まれつき備わった実体なのか、それとも作られるものなのか。もし作られるとすれば、何が作るのか。そして——心が整うということは、物理法則に反していないのか。

数式が苦手な読者へ：この定理には、先に断っておくべき大事な注意がある。ここでいう「生成」は、主体を無から作ることではない。定理1（苫米地主定理）ではEgoはすでに制御方策として、定理16（自己意識存在・発生定理）では自己意識の逆極限と固定点が、定理18（内省言語進化定理）ではそれを前提とする内部言語が、それぞれすでに定義されている。本定理の「生成」が意味するのは、内省言語が、履歴に相対的なEgo構成を、選択し安定化させることである。無から有ではなく、候補の中からの選択と、その安定化である。

◆ 中心式

◆ 中心式（本定理の標準形）G_m = F_i ∘ L_m は縮小　⇒　∃!S^*_m,　𝔈_i[m] = (S^*_m, M(S^*_m), π^(ℓ),*_c,m),　Δℋ_ego = −Σw_aI ≤ 0 ≤ ΔS_phys定理30（エントロピー交換自我構成定理）。三つの主張が一組になっている。

数式が苦手な読者へ：三行を日本語にする。第一行——内省言語を一つ決めると、それに応じた縮小写像ができ、落ち着き先がただ一つ決まる（∃! は「ただ一つ存在する」）。第二行——「私」とは、その落ち着いた自己状態と、その自己表象と、そのときの制御方策の三つ組である。第三行——認知の側の散らかり度は減り（≤ 0）、そのぶん物理の側の散らかり度は増える（≥ 0）。しかも減った量と増えた量は、同じ一つの数（相互情報量）で結ばれている。

ステップ1 — 舞台：逆極限の上に言語を載せる

K_a ≔ TCZ_i,a,　p_ba : K_a → K_b（b ≺ a）,　SC_i ≔ lim_←a K_a(30.1) 定理16（自己意識存在・発生定理）の逆系。SC_i はバナッハ空間内の非空コンパクト凸集合（したがって完備距離空間）で、既存フィードバック F_i : SC_i → SC_i を持つ。

数式が苦手な読者へ：道具⑧を思い出してほしい。抽象度ごとに「そこでの居心地のよい範囲」があり、上の層から下の層へは翻訳（射影 p）ができる。全層でつじつまの合う一本の柱を全部あつめたものが SC_i、すなわち自己意識の空間である。定理16 は、この空間が空でないことと、そこに落ち着き先がただ一つあることを証明した。定理30 は、ここに「ことば」を載せるところから始まる。

ステップ2 — 条件30-A：ことばは、どの層に効かせても同じ結果でなければならない

p_ba ∘ L_a,m = L_b,m ∘ p_ba(30.2) 条件30-A（射影整合な言語写像）。内省言語列 m ごとに連続写像 L_a,m : K_a → K_a があり、空語では恒等写像（L_a,ε = id）。この可換性が成り立つとき、L_m : SC_i → SC_i が誘導される。

先に言語を効かせて下ろしても、先に下ろして言語を効かせても同じ。だから逆極限の上で言語が定義できる。

数式が苦手な読者へ：この条件が何を要求しているか、図で見るのがいちばん早い。右へ行ってから下りるのと、下りてから右へ行くのが、必ず同じ結果になること——これが「可換性」である。∘ は「合成」、つまり「先に右の操作をして、次に左の操作をする」という意味である。なぜこれが要るのか。もしこれが成り立たなければ、「上の層で言語を効かせた結果を下ろしたもの」と「下の層で言語を効かせたもの」がずれてしまい、そもそも柱（整合族）が壊れる。壊れれば、逆極限の上で言語を定義できない。

G_m ≔ F_i ∘ L_m,　Lip(F_i) = q_F < 1,　Lip(L_m) = q_m,　q_Fq_m < 1,　G_m(S^*_ε) ≠ S^*_ε(30.3) 条件30-A の残り。既存の自己反映 F と言語作用 L を合成したものが G。両者の縮小率の積が 1 未満であること、および非自明性（空語の固定点は G_m の固定点ではない）。

🔤 記号の読み方L_a,m＝「層 a に、言語列 m を効かせる操作」／ε＝空語（何も言わない）／id＝恒等写像（何もしない）／∘＝合成（続けて行う）／Lip＝リプシッツ定数（＝どれだけ距離を縮めるか。1 未満なら縮小写像）／q_Fq_m < 1＝合成しても縮小のままである条件／≠＝「言語を効かせると、落ち着き先が本当に動く」という非自明性

ステップ3 — 第一の結論：言語ごとに、ただ一つの「私」が決まる

d_SC(G_mⁿS₀, S^*_m) ≤ (q_Fq_m)ⁿ d_SC(S₀, S^*_m),　S^*_m ≠ S^*_ε(30.6) 各非空内省言語列 m は一意な固定点 S^*_m ∈ SC_i を選択し、任意の初期自己状態からそこへ指数的に収束する。

苫米地認知宇宙論〜仏法数理厳密証明定理28–32

この本の読み方

目次

全体地図 — 五つの定理が、どこへ向かうのか

予備知識ゼロからの、最小限の仏教

四法印 — 仏教が仏教であるための四つの旗印

「苦」とは何か — 痛みのことではない

「無我」とは何か — 「私は存在しない」ではない

「涅槃」とは何か — 死後の世界のことではない

「六道輪廻」とは何か — 生まれ変わりのことではない

「絶対他力」とは何か — 超自然の力のことではない

本書に出てくる、この体系の言葉

数式が苦手な読者のための道具箱

道具① 地形と谷 — 評価関数 V と TCZ

道具② 合計＝面積 — 積分 ∫

道具③ いちばん小さくする選び方 — arg min と πc

道具④ 坂を下る条件 — リアプノフ降下

道具⑤ 半分、また半分 — 指数減衰

道具⑥ 散らかり度 — エントロピー

道具⑦ ぜんぶ包む、いちばん低い屋根 — LUB と「空」

道具⑧ 逆極限 — すべての層でつじつまが合う一点

① なぜ「層」が要るのか

② 射影 — 上の層の一言を、下の層で「言い下す」

③ 整合族 — 「一本の柱」

④ 逆極限 — 柱を全部あつめたもの

⑤ なぜ「逆」極限と呼ぶのか

⑥ 一つの層だけでは、なぜ足りないのか

⑦ この道具が、どこで効くのか

道具⑨ 縮小写像 — 繰り返すと必ず一点に落ち着く

道具⑩ 相互情報量 — 知ると、わからなさが減る

道具⑪ タグ付き非交和 — 同じ名前の点を混ぜない

道具⑫ 形式体系 — 公理・推論規則・定理

道具⑬ ゲーデルの不完全性 — 真だが証明できない文

道具⑭ コルモゴロフ複雑性 — 「これは複雑だ」と言える限界

道具⑮ マルコフ連鎖と定常分布 — 何度でも戻ってくる

道具⑯ 接錐とナグモ条件 — 壁の内側から出ない理由

道具⑰ ハイブリッド系 — なめらかな流れ＋とびとびのジャンプ

道具⑱ 右上ディニ微分 — 角があっても測れる傾き

道具⑲ 二次の挟みうち — メーターと距離を結びつける

道具⑳ 条件付きエントロピーの連鎖律 — 減った分だけ、外へ

道具㉑ 到達時間 — 「あと何秒で δ 以内か」を計算する

道具箱・補遺 — 証明に出てくる、名前のついた定理と概念

Ⅰ 空間のかたちについて

コンパクト ── 「逃げ場がない」という性質

ハウスドルフ空間・コンパクト・ハウスドルフ空間 ── 「二点はちゃんと区別できる」

バナッハ空間 ── 「足し算と長さがあって、穴が空いていない」場所

非空コンパクト凸集合 ── 三つの条件を、一つずつ

チコノフの定理 ── 「コンパクトを無限個かけ合わせても、コンパクトのまま」

Ⅱ 一点へ落ち着くことについて

リプシッツ定数 ── 「どれだけ引き伸ばすか」の目盛り

バナッハの不動点定理 ── 「縮むなら、行き先はただ一つ」

Ⅲ 動きを閉じ込める・下がることを示す

ナグモの不変性定理 ── 「壁で外を向かなければ、出ない」

グロンウォールの不等式 ── 「増え方に上限があるなら、値にも上限がある」

Ⅳ 未来から決まることについて

ハミルトン–ヤコビ–ベルマン方程式 ── 「最善手を、後ろから決める」式

Ⅴ めぐりつづけることについて

マルコフ連鎖の再帰定理 ── 「有限で、どこへでも行けるなら、必ず戻ってくる」

エルゴード定理 ── 「長い目で見れば、滞在率は決まった値に落ち着く」

Ⅵ 無我を決めている条件について

関係的機能完備性 ── 「効くものは、すべて関係の中に書いてある」

継承定理のおさらい — かならず標準形からはじめる

共通の道具 — 統一収束補題（補題0）

定理1（苫米地主定理）

定理3（抽象的共有TCZ収束定理）

定理4（苫米地臨場感加重定理）

定理7（苫米地真のゴール定理）・定理8（苫米地未来原点認知時間定理）・定理9（苫米地未来原点ゴール達成定理）

定理15（苫米地認知物理エントロピー交換・保存定理）

この定理が新しく主張していること

ステップ1 — 二つの散らかり度を、一冊の帳簿に載せる

ステップ2 — 収支の規則（交換式）

ステップ3 — 結論

ステップ4 — 心を整えられる量には、上限がある

ステップ5 — なぜ「物理層だけでは保存則が無い」と言い切れるのか

定理16（苫米地自己意識存在・発生定理）

定理18（苫米地内省言語進化定理）

定理24（一切皆苦定理）・定理25（諸法無我定理）・定理26（涅槃寂静定理）

定理28 — 涅槃無我・型整合定理

この定理が答える問い

◆ 中心式

苫米地認知宇宙論〜仏法数理厳密証明
定理28–32

道具③ いちばん小さくする選び方 — arg min と π_c

道具㉑到達時間 — 「あと何秒で δ 以内か」を計算する