概要
本稿は、既存の定理1（苫米地主定理）–27を基礎として、五つの新定理を定式化する。定理28（涅槃無我・型整合定理）は、定理24（一切皆苦定理）と26の領域をタグ付き直和で分離し、「一切皆苦」と「涅槃寂静」の型整合性を証明したうえで、定理25（諸法無我定理）の関係的機能完備性から涅槃過程の無我を導く。定理29（形式法体系無自性・不完備定理）は、教説としての法を十分に強い有効形式理論としてモデル化した場合に限り、Gödel・Chaitinの限界、開放的更新、および定理25（諸法無我定理）による無自性を示す。定理30（エントロピー交換自我構成定理）は、内省言語を逆系上の射影整合写像として定式化し、言語条件付きEgo構成の選択・安定化と認知物理エントロピー交換を証明する。定理31（内省言語閉包・低抽象度六道輪廻定理）は、言語閉包・Nagumo不変性・Lyapunov吸引性のもとで低抽象度TCZからの脱出不能性を示し、六状態粗視化の再帰性を証明する。定理32（未来TCZホメオスタシス絶対他力定理）は、外部ゴールが未来TCZに入る有界臨場感閾値と、未来限定Egoによる指数収束・到達時間を与える。
継承定理の再掲部（§3）には、定理15（認知物理エントロピー交換・保存定理）を §3.7 として新たに収録する。最低抽象度物理層においてエントロピーについて成り立つのは第二法則の不等式のみであり、等式としての保存則は高抽象度レイヤーを状態記述に含めてはじめて成立する。この事実（命題15.D）は定理30 の交換収支の前提であり、本稿で初めて公開する。また §7.3 において「六道輪廻」という名称の射程（領域数の非本質性、転生に関する中立性と定理25 による制約、単一生涯内での成立）を、§7.4 において定理31 が形式化する対象と龍樹『中論』の言語批判との構造的対応を、いずれも解釈層として証明から分離したうえで与える。
重要な限定。 五定理のすべてが既存定理から無条件に出るわけではない。各節で「既存定理から継承する部分」「新たに必要な条件」「外部メタ定理」を分離する。また、無我は数学的対象化の禁止ではなく、関係記述を超える独立・固定・個体化的・因果的に非冗長な自性の否定を意味する。
1. 結論と証明依存
適切な順序は、単純な一列ではなく次の部分順序である。定理28（涅槃無我・型整合定理）・定理29（形式法体系無自性・不完備定理）・定理30（エントロピー交換自我構成定理）は互いに独立な三つの枝であり、定理31（内省言語閉包・低抽象度六道輪廻定理）は定理30（エントロピー交換自我構成定理）の言語化Ego構成を任意に利用でき、定理32（未来TCZホメオスタシス絶対他力定理）は定理31（内省言語閉包・低抽象度六道輪廻定理）で記述された閉鎖からの再構成を説明できる。
| 新定理 | 最小の既存依存 | 新条件／外部結果 | 証明上の地位 |
|---|---|---|---|
| 28 | T24, T25, T26 | 涅槃過程をT25の現象領域へ含める条件28-A | 型整合部は直接の系、無我部はT25の適用 |
| 29 | T25 | 29-A〜C、Gödel I・II、Chaitin | 既存体系だけからは出ない条件付きメタ定理 |
| 30 | T1, T15, T16, T18 | 射影整合性、縮小性、エントロピー型橋 | 新しい逆極限構成とT15交換式の統合 |
| 31 | T1, T3, T16, T18 | 言語閉包、Nagumo条件、ハイブリッドLyapunov条件 | T18の「選択肢拡張」だけでは出ない |
| 32 | T1, T4, T7–9 | 臨場感閾値、可到達吸引域、強いLyapunov収縮 | T9を定量化する強化定理 |
2. 継承記法と論理的射程
抽象度の半順序集合を (𝒜,≼)、最高元を ⊤ とする。各層の状態空間を Xa、生存可能領域を ℬalive⊆ X⊤、割引最適費用を J*a,ρ(x,T) と書く。定理26（涅槃寂静定理）の寂静集合は
定理25（諸法無我定理）の Atman(d,a) は、現象 d の層 a に、関係記述から独立し、履歴を通じて固定され、個体化を担い、かつ因果的に非冗長な内在変数が存在するという述語である。したがって ¬Atman は「対象を集合・写像・理論として記述できない」という主張ではない。
- 記号 T を持つだけでは、𝒩⊤(T) が実際に時変であるとはいえない。定数集合族も許される。
- 集合族であること、または関係から定義されることだけでは無我は証明されない。決定的なのは定理25（諸法無我定理）の機能的完備性25-Dである。
- Gödel・Chaitinの結果は、すべての公理系にも、法一般にも無条件には適用されない。十分な算術強度・有効性・健全性を明記する。
3. 継承定理の定式化と厳密証明
本稿の定理28（涅槃無我・型整合定理）〜定理32（未来TCZホメオスタシス絶対他力定理）は、既存の定理群を前提として構築される。読者が本稿だけで証明を追えるよう、直接用いる定理1（苫米地主定理）・定理3（抽象的共有TCZ収束定理）・定理4（苫米地臨場感加重定理）・定理7（苫米地真のゴール定理）・定理8（苫米地未来原点認知時間定理）・定理9（苫米地未来原点ゴール達成定理）・定理15（認知物理エントロピー交換・保存定理）・定理16（自己意識存在・発生定理）・定理18（内省言語進化定理）について、標準形の中心式、本稿で用いる定式化、および厳密証明をここに掲げる。定理24（一切皆苦定理）・定理25（諸法無我定理）・定理26（涅槃寂静定理）については、証明を再掲せず『苫米地四法印定理』を参照する（§3.10）。
本節は、既出の定理を本稿の記法へ写し、証明の骨格を明示するための再掲である。ただし §3.7（定理15）については、原論文の仮定A6(ii)を一様可積分条件A6′へ弱め（補題15.1）、あわせて秩序化量の上界(3.8)と、保存則が物理層へ還元できないこと（命題15.D）を新たに示す。標準形は『苫米地抽象度自由論』全定理一覧の表記に一致させ、本稿で異なる表現を用いる場合は、その理由と標準形との同値性を各項に明記する。
3.0 共通の道具――統一収束補題（補題0）
以下の証明は、次の一つの補題に帰着する。
ここで D+ は右上Dini微分、Ωθ は Φ の劣位集合である。Φ は絶対連続なので、ほとんど至る所で通常の微分と一致し、Grönwall の不等式が適用できる。二次の挟み込み c1dist2 ≤ Φ ≤ c2dist2 を併せれば、距離についての指数評価 dist(x(t),Ωθ) ≤ √(c2/c1) e−ct/2 dist(x(0),Ωθ) を得る。以下の各定理は、それぞれの残差 Φ を構成し、この補題へ帰着させる形で証明される。
3.1 定理1（苫米地主定理）
次の対応により、下の式は標準形と同一の主張である。
∫V0 dt ≔ ∫0TV0(x(t),t) dt／TCZ ≔ TCZ1cl(t;x0)（到達可能領域に限った閉スライス）／x(t) → TCZ ⇔ dist(x(t),TCZ1cl(t;x0)) → 0
非負評価 V0 について TCZ = {x | V0(x,t) ≤ θ} とする。閉ループ方策 πc が解を生成し、V0 が軌道上絶対連続で、TCZ の外で D+[V0(x(t),t) − θ]+ ≤ −c[V0 − θ]+ を満たすなら、
残差を Φ1 := [V0(x,t) − θ]+ と置く。Φ1 は非負であり、仮定より TCZ の外で D+Φ1 ≤ −cΦ1 を満たす。補題0（3.0）より Φ1(t) ≤ Φ1(0)e−ct であり、Φ1 → 0。Φ1 = 0 は V0 ≤ θ、すなわち TCZ への所属と同値であるから、到達可能閉スライスへの距離が 0 に収束する。収束の実質条件は arg min であること自体ではなく、arg min で選ばれた閉ループが Lyapunov 降下を満たすことである。∎
3.2 定理3（抽象的共有TCZ収束定理）
A ≔ 𝒜i（抽象残差）／LUB(W1,…,WN) ≔ L* = ∨Wi／A(t)→0 ⇔ ‖ι(φi(xi(t)))−ι(L*)‖ → 0
結合グラフが連結、各ズレ費用 Sij が非負、抽象残差 𝒜i が L* = ∨Wi でちょうど 0 となるとき、拡張ラグランジアン ℒA = ΣiVi + Σ(i,j)∈EγijSij + Σiηi𝒜i（ηi > 0）を最小化する閉ループのもとで
Φ3 := ℒA − inf ℒA と置く。連結性より、いずれの主体のはみ出しも必ずいずれかの Sij に反映されるので、Φ3 は全体の逸脱を漏れなく捉える。仮定より Φ3 は補題0の降下条件を満たすので Φ3 → 0。Φ3 の各項は非負であるから、和が 0 に収束することは各項が 0 に収束することを含意し、特に ηi𝒜i → 0、すなわち 𝒜i → 0。𝒜i は L* においてのみ 0 となるよう構成されているので、φi(xi(t)) → L*。LUB は平均ではなく、いずれの主体の世界も切り捨てずに包む最小の上界である。∎
3.3 定理4（苫米地臨場感加重定理）
TCZP ≔ ΩP(t)（変形後の閉到達可能スライス）／x → TCZP ⇔ dist(x(t),ΩP(t)) → 0
臨場感 P ∈ [0,1]、価値符号 Q、κ > 0 に対し Ṽ := V0 − κPQ とする。Ṽ が非負評価の要件を満たし、πc(P) の閉ループが補題0の降下条件を満たすなら
Ṽ を評価関数として残差 Φ4 := [Ṽ(x,t) − θ]+ を作る。Ṽ もまた非負評価の要件を満たすので、補題0がそのまま適用でき、Φ4 → 0、したがって dist(x(t),ΩP(t)) → 0。谷の位置が P とともに連続に動くことは、∂Ṽ/∂P = −κQ を P について直接微分して得られる。Q > 0 の対象では地形が下がり、Q < 0 の対象では上がる。行動の変更は意志の持続ではなく地形の変形によって達成される。∎
3.4 定理7（苫米地真のゴール定理）
現在の安定領域を TCZ0、候補終端ゴールを G とする。真のゴールの正準条件を、(i) 外部性 dist(G,TCZ0) > ε、(ii) 外部強制でなく本人のゴール集合に属すること、(iii) 高位 Self との整合 CSelf(G) > 0、(iv) 制御問題へ非退化に入ること、とする。このとき四条件は、本体系の意味で許容される変革ゴールを特徴づける。
各条件の必要性を、それを外した場合に混入する対象によって示す。(i) を外すと、dist(G,TCZ0) ≤ ε のゴールは現在の安定域を実質的に再構成せずに到達できるため、変革ゴールの外部性を失う。(ii) を外すと外部から強制された状態が、(iii) を外すと負価値または自己不整合な状態が、(iv) を外すと方策に影響しない装飾的目標が、それぞれ混入する。したがって四条件は所期の対象をちょうど特徴づける。ここから到達は導かれない。到達は定理9（苫米地未来原点ゴール達成定理）の課題である。∎
3.5 定理8（苫米地未来原点認知時間定理）
終端条件 G を持つ有限地平最適制御問題 (3.4) において、最適制御 u* は動的計画法の原理により
を満たす。すなわち現在時刻の制御は、終端条件から後ろ向きに決定される。
価値関数 WG(x,t) := minuJG[u] を導入する。最適性原理より WG は終端条件 WG(x,T) = λd(x,G)2 を持つ Hamilton–Jacobi–Bellman 方程式 (3.5) を満たす。この方程式は t について後ろ向きに積分されるため、時刻 t における最適制御 u*(t,x) は終端条件 G に依存して決まる。物理時間が逆流すると主張しているのではない。終端条件を持つ最適制御問題では、決定の依存方向が未来から現在へ向かうという構造的事実である。これを本体系では未来原点認知時間と呼ぶ。∎
3.6 定理9（苫米地未来原点ゴール達成定理）
ゴール駆動強度を KG := PQ+ + ECSelf と定める。KG ≥ Kcrit であり、かつゴール残差 ΦG が補題0の降下条件を満たすなら
ゴール残差 ΦG := [ṼG(x,t) − θG]+ を作る。ここで ṼG は定理4（苫米地臨場感加重定理）により KG の寄与だけ変形された評価である。KG ≥ Kcrit は、変形後の地形において G の側に劣位集合が実際に生じるための臨界条件であり、この条件下で ΦG は補題0の降下条件を満たす。よって ΦG → 0 かつ dist(x(t),TCZG(t)) → 0。定理7（苫米地真のゴール定理）が資格を、定理8（苫米地未来原点認知時間定理）が決定方向を与え、本定理が到達を与える。∎
3.7 定理15（認知物理エントロピー交換・保存定理）
ΣwαHα ≔ Σα≻0 wαHα(xα(t))（レイヤー指数と軌道引数を明示）／dSgen/dt = Π ≥ 0 ⇔ Sgen(t2) − Sgen(t1) = ∫t1t2Π(s) ds ≥ 0（絶対連続性による積分形）
3.7.1 本節の主張——物理層単独では、エントロピーの保存則は存在しない
最低抽象度の物理層 α = 0 だけを見るかぎり、等式として成り立つ保存則はエネルギー保存則のみである。エントロピーについて成り立つのは熱力学第二法則、すなわち dSphys/dt ≥ 0 という不等式だけであり、等式としての保存則は存在しない。本定理が主張するのは次の一点である——高抽象度レイヤーまで含めた認知＝情報宇宙においては、エントロピーについても等式としての保存則が成り立つ。
この保存は、認知側の意味エントロピー低下と物理側の物理エントロピー増大が、換算重み wα を介して同一の帳簿上で交換されていることから従う。散逸 Π が零である理想閉鎖可逆系では、一般化総エントロピー Sgen は厳密に保存される。散逸があれば、増加はちょうど散逸の分だけである。
本定理を「交換式を代入して打ち消すだけの恒等式」と読むのは誤りである。実質的な内容は次の三点にある。第一に、レイヤーが可算無限個ありうる状況で Sgen が絶対連続であり、項別微分が正当化されること（補題15.1。これは無条件には成立せず、§3.7.5 に反例を挙げる）。第二に、保存が散逸の消滅と同値であること（補題15.2）。第三に、この保存則が物理層単独へは還元できないこと、すなわち物理層の量だけからは同じ保存則を構成できないこと（命題15.D）。第三点が、本節冒頭の主張——物理層単独ではエントロピー保存則が存在しない——の厳密な内容である。
3.7.2 設定と常設仮定
抽象度指数集合 𝒜 ⊂ [0,∞) は 0 を含む可算集合とし、各 α ∈ 𝒜 に可測空間（レイヤー）Uα が与えられる。全体空間は互いに素な合併 U = ⊔α∈𝒜Uα であり、α = 0 のレイヤー U0 を物理空間と呼ぶ。時間発展は可測な軌道の族 t ↦ xα(t) ∈ Uα（t ∈ [0,T]）として与えられる。
各 α ≻ 0 に対し意味エントロピー汎関数 Hα : Uα → [0,∞) が与えられ、軌道に沿った合成 t ↦ Hα(t) := Hα(xα(t)) は [0,T] 上で絶対連続である。
各 α > β ≥ 0 に可測な射影 πβ←α : Uα → Uβ が与えられ、半群性 πγ←β ∘ πβ←α = πγ←α（γ < β < α）および πα←α = id を満たす。最低抽象度射影を π0 := π0←α と略記する。
任意の α > β > 0 と x ∈ Uα に対し Hβ(πβ←α(x)) ≥ Hα(x)。等号は射影が可逆（情報を失わない）な場合に限る。
物理層の結合部分系に対して物理エントロピー Sphys : [0,T] → ℝ が定義され、絶対連続である。Sphys は熱力学的エントロピーの通常の意味を持ち、単独では外部との交換により増減しうる。
各 α ≻ 0 に対し定数の換算重み wα > 0 が与えられ、次を満たす。(i) Σα≻0wαHα(t) は [0,T] の各点で有限。(ii) hα := dHα/dt と置くとき、級数 Σα≻0wαhα(s) はほとんど至る所収束し、かつ有限部分和の族 {Σα∈𝒜′wαhα : 𝒜′ ⊂ 𝒜 有限} は L1([0,T]) において一様可積分である。
原論文の仮定A6(ii)からの強化。原論文は可積分優関数 g = Σwαgα ∈ L1 による優収束条件を課していた。優関数による支配は一様可積分性を含意するが、逆は成り立たない。したがってA6′は真に弱い仮定であり、定理の適用範囲を拡げる。証明では優収束定理の代わりにVitaliの収束定理を用いる（補題15.1）。𝒜 が有限集合のときは (ii) は自明に成立する。
ほとんど至る所で次が成り立つ。
Π は散逸項であり、不可逆性・熱化・余剰生成・環境との相互作用を表す。
A7は二つの部分からなる。第一は定義であって、Π(t) := dSphys/dt + Σα≻0wαdHα/dt と置くことにはいかなる内容もない。第二は符号条件 Π(t) ≥ 0 であり、これが唯一の実質的な公理——一般化第二法則——である。この分解を明示することは、本定理が何を仮定し何を証明しているのかを曖昧にしないために必要である。すなわち本定理は、一般化第二法則を仮定したうえで、(i) 総和量が微分可能な意味を持つこと、(ii) 保存が散逸の消滅と同値であること、(iii) その保存が物理層へ還元できないことを証明する。
3.7.3 定理15と厳密証明
常設仮定A1〜A5・A6′・A7のもとで、一般化総エントロピーを Sgen(t) := Sphys(t) + Σα≻0wαHα(t) と定める。このとき次が成り立つ。
(I) 交換と一般化第二法則。Sgen は [0,T] 上で絶対連続であり、
が任意の 0 ≤ t1 ≤ t2 ≤ T について成り立つ。とくに Sgen は単調非減少である。
(II) 保存則。Π = 0 がほとんど至る所成り立つことと、Sgen が [0,T] 上定数であることは同値である。とくに理想閉鎖可逆系 Π ≡ 0 では Sgen(t) = Sgen(0) がすべての t で厳密に成り立つ。
(III) 秩序化量の上界。任意の 0 ≤ t1 ≤ t2 ≤ T について
が成り立ち、等号成立は Π = 0（a.e. on [t1,t2]）のときに限る。すなわち、区間内で達成しうる認知的秩序化の総量は、同区間の物理エントロピー増加量によって上から押さえられる。
仮定A2・A6′のもとで、F(t) := Σα≻0wαHα(t) は [0,T] 上絶対連続であり、ほとんど至る所 dF/dt = Σα≻0wαhα が成り立つ。
各 Hα は絶対連続であるから Hα(t) = Hα(0) + ∫0thα(s) ds（hα ∈ L1）と書ける。A6′(i) より F(0) は有限である。
𝒜 を可算集合として一つ枚挙し、Fn(t) := Σk≤nwαkHαk(t)、fn(s) := Σk≤nwαkhαk(s) と置く。A6′(ii) の前半より fn → f := Σα≻0wαhα がほとんど至る所成り立ち、後半より {fn} は一様可積分である。Vitaliの収束定理により f ∈ L1([0,T]) かつ ‖fn − f‖L1 → 0。したがって各 t について
である。他方、各 Hα ≥ 0 かつ wα > 0 であるから、部分和 Fn(t) は n について単調非減少であり、A6′(i) の有限性より各点で F(t) へ収束する。Fn(t) = Fn(0) + ∫0tfn(s) ds の両辺で n → ∞ とすれば
を得る。右辺は L1 関数の不定積分であるから絶対連続であり、Lebesgueの微分定理よりほとんど至る所 dF/dt = f である。∎
注意（強化の実質）。原論文は可積分優関数 g で |fn| ≤ g を課し優収束定理を用いていた。優関数による支配は一様可積分性を含意するが逆は偽であるから、本補題は原論文の補題A.2.1を真に一般化している。たとえば fn の「山」が時間軸上を移動していく型の族は、一様可積分でありながら可積分優関数を持たないことがある。
仮定A1〜A5・A6′・A7のもとで、Sgen が [0,T] 上定数であることと、Π = 0 がほとんど至る所成り立つことは同値である。
（⇐）定理15(I) の dSgen/dt = Π と絶対連続性のNewton–Leibniz公式から直ちに従う。（⇒）Sgen が定数なら 0 = Sgen(T) − Sgen(0) = ∫0TΠ(s) ds。Π ≥ 0 かつ積分が 0 であるから、Lebesgue積分の標準的性質より Π = 0 がほとんど至る所成り立つ。∎
仮定A1・A3・A4のもとで、任意の下降鎖 αk > αk−1 > ⋯ > α1 > 0 と x ∈ Uαk に対し、xj := παj←αk(x) と置けば Hα1(x1) ≥ Hα2(x2) ≥ ⋯ ≥ Hαk(x) が成り立つ。とくにこの比較は、どの中間レイヤーを経由するかに依存しない。
A3の半群性より xj = παj←αj+1(xj+1)。各隣接対にA4を適用すれば Hαj(xj) ≥ Hαj+1(xj+1)（j = 1,…,k−1）を得る。連鎖して主張の不等式列が従う。経路独立性は、任意の二経路の合成射影が半群性により同一の παj←αk に一致することによる。∎
(I) A5より Sphys は絶対連続、補題15.1より F = Σα≻0wαHα も絶対連続である。絶対連続関数の和は絶対連続であるから Sgen = Sphys + F は絶対連続であり、ほとんど至る所
が成り立つ。ここに交換式A7を代入すると、第一項に含まれる −Σα≻0wαdHα/dt と第二項が打ち消し合い、dSgen/dt = Π(t) を得る。A7より Π ≥ 0（a.e.）であるから Sgen は単調非減少である。絶対連続性によるNewton–Leibniz公式から積分形 (3.7) が従う。
(II) 補題15.2そのものである。
(III) (3.7) の積分形において Sgen = Sphys + ΣwαHα を展開すれば
である。第二項を右辺へ移し符号を整理すれば (3.8) の等式部分を得る。∫Π ≥ 0 より不等式部分が従い、等号成立は ∫t1t2Π = 0、すなわち Π ≥ 0 と併せて Π = 0（a.e. on [t1,t2]）と同値である。∎
3.7.4 保存則は物理層へ還元できない
ここまでの (I)(II) は、交換式を認めたうえでの帰結である。しかし本節冒頭の主張——物理層単独ではエントロピーの保存則が存在しない——は、まだ証明されていない。以下の命題がそれを与える。
(a) 保存の非自明性。A1〜A5・A6′・A7を満たし、かつ Π ≡ 0 であるにもかかわらず、dSphys/dt > 0 が正のLebesgue測度の集合上で成り立つ系が存在する。すなわち、理想閉鎖可逆系においてさえ物理エントロピー単独は保存されない。保存されるのは Sgen のみである。
(b) 還元不可能性。Borel可測な 𝔉 : ℝ → ℝ が、A1〜A5・A6′・A7を満たし Π ≡ 0 であるすべての系について t ↦ 𝔉(Sphys(t)) を [0,T] 上定数にするならば、𝔉 は区間 [Sphys(0), ∞) 上で定数である。したがって、物理エントロピーのみの関数として非自明な保存量を構成することはできない。
(a) 具体的な証人を構成する。𝒜 = {0, 1}、T = 1、w1 = 1 とし、H0 > 0、λ > 0 を定数として
と置く。H1 は [0,1] 上で C∞、非負、有界であるからA2を満たす。Sphys も C∞ であるからA5を満たす。正の層は一つだけであるからA6′(i)(ii) は自明に成立し（有限和）、A4は α > β > 0 なる対が存在しないため空虚に成立する。A3は π0←1 を任意の可測写像、πα←α = id と取れば満たされる。最後にA7を検証する。
であるから dSphys/dt = −w1dH1/dt + 0 が全 t で成り立ち、Π ≡ 0 ≥ 0。よってA7が満たされる。この系において dSphys/dt = λH0e−λt > 0 が [0,1] 全体（測度 1）で成り立つ。一方
は t によらない定数である。すなわち Sgen は保存されるが Sphys は厳密に増加する。これが (a) の証人である。
(b) (a) の証人族を H0 > 0 について走らせる。各 H0 に対し、軌道 t ↦ Sphys(t) は t の連続狭義増加関数であって、t が [0,1] を動くとき値域は区間 [Sphys(0), Sphys(0) + H0(1 − e−λ)] をちょうど覆う。仮定より 𝔉(Sphys(t)) はこの軌道に沿って定数であるから、𝔉 はこの区間全体で同一の値 𝔉(Sphys(0)) をとる。λ を固定し H0 ↑ ∞ とすれば区間長 H0(1 − e−λ) は上に非有界であるから、これらの区間の合併は [Sphys(0), ∞) に等しい。よって 𝔉 は [Sphys(0), ∞) 上で定数 𝔉(Sphys(0)) である。∎
命題15.D(a) は、理想閉鎖可逆系という最も保存に有利な条件下でさえ、物理エントロピーが単独では保存されないことを示す。命題15.D(b) は、そこから一歩進めて、物理エントロピーのどのような関数を取っても保存量にはなりえないことを示す。保存量は必然的に高抽象度レイヤーの量 Hα を含まなければならない。
したがって、最低抽象度物理層においてエントロピーについて言えることは第二法則の不等式のみであり（等式として成り立つ保存則はエネルギー保存則のみである）、エントロピーの保存則は、高抽象度レイヤーを状態記述に含めてはじめて成立する。これが本定理の新規性である。本定理は苫米地認知物理学数理体系の中心定理の一つであるが、これまで非公開としてきた。物理学にはエネルギー保存則があるが、エントロピーについては保存則が存在しない——成り立つのは第二法則の不等式のみである。認知宇宙まで射程を広げたときエントロピーが交換され保存されることは、本定理による初出の主張であり、かつ厳密証明である。なお、定理24（一切皆苦定理）から定理32（未来TCZホメオスタシス絶対他力定理）に至る仏法数理の系列は、認知側の秩序化と物理側の散逸を同一の帳簿で扱う本定理を前提としてはじめて厳密に定式化されうる。
3.7.5 A6′の最小性——落とせない条件であること
A6′(ii) は技術的な便宜ではなく、落とすと結論が破綻する条件である。反例を示す。各 α = k（k = 1,2,…）に対し Hk(t) が振幅 ak = 2−k、周波数 fk = 4k の振動を持つとすると、ΣwkHk(t) 自体は一様収束して各点有限かつ連続であるが、導関数の絶対値の和は Σwkakfk = Σwk2k のオーダーで発散し、一様可積分な部分和族を持たない。このとき Sgen は絶対連続ですらなくなり（総変動が発散する高木関数型の病理）、「各項の微分の和」と「合計の微分」が一致しない。交換式A7の打ち消しは意味を失う。
𝒜 が有限集合であればこの病理は起こりえず、A6′(ii) は自明に満たされる。すなわちA6′(ii) が実質的な制約となるのは可算無限個のレイヤーを扱う場合に限られる。
3.7.6 定理30との接続
本稿が定理15を用いるのは、定理30（エントロピー交換自我構成定理）の§6においてである。条件30-Cは、本節の意味エントロピー Hα を、低層観測と言語履歴が生成する情報 𝒢t のもとでの条件付きShannonエントロピー H(Za|𝒢t) として実現し、正の定数倍 ca で単位を接続する。この接続のもとで、定理30の (30.9)(30.10) は本定理の (3.7)(3.8) の特殊例にほかならない。すなわち、認知側の減少量 ΣwaI(Za;M|𝒢t1) が (3.8) 左辺の秩序化量であり、物理側の増大量が同式右辺である。
本定理は、換算重み wα の具体値については何も述べない。証明は正値性と定数性のみを用いる。情報の物理的消去に最小エネルギーコストが伴うという物理的直観は wα の自然なスケールを示唆するが、一般の情報取得に対してLandauer下限を直接適用してはならず、そのためには物理的消去過程を別途指定する必要がある。また本定理は、意味エントロピーが実際に低下することを主張しない。低下が起これば物理側の増大と結ばれる、という条件付きの収支則である。
3.8 定理16（自己意識存在・発生定理）
SC ≔ SCi,h／TCZα ≔ Ki,α(h)（層 α の候補集合）／FSC ≔ Fi,h
各抽象層 α の候補集合 Ki,α(h) が空でなくコンパクトで、層間の射影が連続かつ整合的であるとする。さらに自己反映写像 Fi,h が縮小率 q < 1 の縮小写像であるとする。このとき
存在。各 Ki,α(h) は空でないコンパクト Hausdorff 空間であり、射影は連続。コンパクト空間の逆系の逆極限は空でない（Tychonoff の定理からの標準的帰結）。よって SCi,h ≠ ∅。一意性。SCi,h は完備距離空間であり、Fi,h は縮小率 q < 1 の縮小写像であるから、Banach の不動点定理により固定点は存在し、かつただ一つである。反復列の誤差評価 dSC(FnS0,S*) ≤ qndSC(S0,S*) も同定理から従う。存在は位相幾何から、一意性は不動点定理から来る。出所が異なる。また固定点は履歴 h に依存するため、示されたのは普遍的実体ではなく履歴相対的な自己像である。∎
3.9 定理18（内省言語進化定理）
内省言語 Mℓ が観測 Y に対して非自明な情報を与えるとき
情報。条件付きエントロピーの単調性より H(Z|Y,Mℓ) ≤ H(Z|Y) が常に成り立ち、等号成立は I(Z;Mℓ|Y) = 0、すなわち Mℓ が Y のもとで Z に関して情報を持たない場合に限る。非自明性の仮定はこれを排除するので、狭義不等号が成り立つ。制御。内省言語を持つ主体は、持たない主体の方策をすべて模倣できる（Mℓ を無視すればよい）ので Π0 ⊆ Πℓ。進化。方策集合が広がれば上限は減少しないので、自由意思容量 ℱ は ℓ について非減少であり、非自明性のもとで狭義増加する。∎
3.10 定理24（一切皆苦定理）・定理25（諸法無我定理）・定理26（涅槃寂静定理）――四法印論文の参照
定理24（一切皆苦定理）・定理25（諸法無我定理）・定理26（涅槃寂静定理）については、証明を本稿に再掲せず『苫米地四法印定理』を参照する。本稿が用いるのは次の三点である。
- 定理24（一切皆苦定理）：条件24-A（空未満では Va = 0 をほとんど至る所で永久に保つ方策が存在しない）と常設仮定（軌道評価の可測性、少なくとも一つの有限コスト方策の存在、最小値の実現）のもとで、a ≺ ⊤ ならば J*a,ρ(x,T) > 0。
- 定理25（諸法無我定理）：条件25-B〜25-D（特に関係的機能完備性 25-D）のもとで、関係記述から独立し履歴を通じて固定され個体化を担い因果的に非冗長な内在変数は存在しない。すなわち ¬Atman(d,a)。
- 定理26（涅槃寂静定理）：単一の条件26-A（零苦集合と安定性）のもとで、𝒩⊤(T) = ℬalive ∩ {x | J*⊤,ρ(x,T) = 0} は空でなく閉かつ前向き不変であり、二次の挟み込み (26.A) と厳密下降 (26.B) が成り立つ。本稿が用いるのは (26.A) と (26.B) であり、(26.C) は不要である。
これら三定理の証明は当該論文にあり、本稿はその結論のみを前提として用いる。本稿は四法印論文の主張を再証明するものではない。
4. 定理28――涅槃無我・型整合定理
4.1 タグ付き領域
層の異なる点を同一点として比較しないため、非交和を用いる。
集合過程 dN:=(T↦𝒩⊤(T)) を定理25（諸法無我定理）の現象索引集合 𝔇 に含める。その関係状態 ΓdN,⊤ は、少なくとも
と、集合族 𝒩⊤ΘN(T)、履歴、層間関係、他存在との関係を含み、候補自性 ΣN への介入について条件25-Dを満たす。また、dN を加えた拡張後の現象索引集合について条件25-B〜Dが成立する。
定理24（一切皆苦定理）の条件24-Aおよび常設仮定（軌道評価の可測性、少なくとも一つの有限コスト方策、最小値実現）、定理25（諸法無我定理）の25-B〜D、定理26（涅槃寂静定理）の常設仮定と条件26-A、ならびに条件28-Aを仮定する。このとき、任意の T≥0 と任意の (a,x)∈𝔛 について、
さらに、完全寂静述語はタグ付き空間上で
を満たし、涅槃過程は
である。定理25（諸法無我定理）の全層条件を dN に継承する場合は、∀ a∈𝒜 ¬Atman(dN,a) が成り立つ。
(28.3) は非交和のタグ a≺⊤ と a=⊤ が同時に成立しないことから従う。(28.4) の左辺は定理24（一切皆苦定理）、右辺は 𝒩⊤(T) の定義である。定理24（一切皆苦定理）は a≺⊤ にのみ量化され、定理26（涅槃寂静定理）は a=⊤ にのみ寂静点を与えるため、同一の型付き点に正費用と零費用を同時に主張しない。定理26（涅槃寂静定理）のPZS分類を非交和へ持ち上げれば(28.5)を得る。
無我部を示す。独立候補 ΣN が (ΓdN,⊤,Y+dN) の介入後分布を変えるなら条件25-Dに反する。変えないなら ΣN は因果的に冗長であり、Atman の「非冗長な個体化原因」を満たさない。いずれの場合も Atman(dN,⊤) は偽である。∎
「一切皆苦」と「涅槃寂静」は、同じ無型点について矛盾する二命題ではなく、排他的な型付き領域の命題である。そして涅槃は、関係記述を超える固定的自性をもたない零費用集合過程として、定理25（諸法無我定理）の無我述語に含まれる。
𝒩⊤(T) は数学的集合として定義できる。否定されるのは、その関係記述を超える独立・固定・因果的に非冗長な自性である。「必ず時々刻々変わる」までいうには、別途 ∃ T1,T2:𝒩⊤(T1)≠𝒩⊤(T2) が必要である。
5. 定理29――形式法体系無自性・不完備定理
5.0 モデル化の正当化――なぜ法を形式理論として扱えるのか
本節の結論は外部メタ定理に依存する。したがって、そもそも「教説としての法」を形式理論としてモデル化してよいのか、という問いに先に答えておく必要がある。この問いは数学の内部では決着しない。以下は、モデル化の適用範囲を限定し、限定が満たされる根拠を述べるものであって、法一般の形式化可能性を主張するものではない。
本節がモデル化するのは、命題として述べられ、規定された推論関係のもとで閉じている教説の集まりである。これを 𝕋h と書く。モデル化の対象外であるのは次の三つである。第一に、実践・修行・体験そのもの。第二に、言語的定式化を超えるとされる内容（本体系の用語では、最高抽象度における不可説の側面）。第三に、命題的閉包を持たない実践的指示のみからなる教示。本節の結論は、これら三つについては何も述べない。
条件29-Aは、有効性・算術強度・健全性の三つからなる。以下、各条件が恣意的な便宜ではなく、教説が教説として機能するための必要条件であることを示す。
(a) 有効性――公理集合が帰納的可算であること
ある命題がその教説に属するか否かを、有限の手続きで判定または枚挙できなければ、その教説は教授も伝承も検証もできない。何が説かれたのかを確定できない体系は、後代がそれを保持することができず、異説との区別もつかない。逆に、経典の集成・結集・注釈の伝統が成立しているという歴史的事実は、その教説が枚挙可能な形で扱われてきたことを示す。したがって有効性は、法が伝えられうるための条件そのものである。この条件を外すことは、伝承可能性を放棄することに等しい。
(b) 算術強度――Robinson算術 Q を解釈できること
教説の内部には、有限列と再帰が現れる。十二縁起は順序づけられた十二項の列であり、五蘊・六処・四諦は有限個の項目の枚挙であり、順観と還滅観は列に沿った前進と後退の反復である。本体系においては、さらに抽象度の束に沿った再帰（定理22（高高度LUB臨場感定理）の包摂更新）が現れる。これらを内部で表現するには、後者関数・加法・乗法と基本的な順序公理があれば足り、それはまさに Q である。逆に Q を解釈できない体系は、自らの枚挙構造を語れない。算術強度は、教説が自らの構造を内部で述べるための最小限の要件である。
(c) 健全性――証明された算術的言明が真であること
自らの有限的組合せ構造について偽を証明する体系は、自己論駁的である。たとえば「十二の支は十三である」を証明できる体系は、その枚挙の意味を失う。健全性は、教説が自らについて誤らないという最小限の要求である。なお、定理29（形式法体系無自性・不完備定理）の結論のうち第一・第二の主張には健全性まで必要でなく、無矛盾性（第二不完全性定理）および ω 無矛盾性ないし Rosser 型の議論（第一不完全性定理）で足りる。健全性を課すのは、結論を平易に述べるための強化であって、本質的な制約ではない。
三条件のいずれかが満たされない体系には、定理29（形式法体系無自性・不完備定理）は適用されない。具体的には、(i) 公理集合が枚挙不能な体系、(ii) Q を解釈できないほど表現力の弱い体系、(iii) 自らの有限的言明について誤る体系。本定理は「あらゆる法が不完全である」とは主張しない。主張するのは、条件29-Aを満たす形式化された教説体系について不完全性が従う、という条件付き言明のみである。
(d) 本定理が主張しないこと
三点を明示する。第一に、教説が誤りであるとは主張しない。不完全性は虚偽性ではない。決定不能文の存在は、体系が偽を含むことを意味しない。第二に、教説が無矛盾でないとは主張しない。第二不完全性定理が述べるのは、無矛盾性を内部で証明できないということであって、無矛盾でないということではない。第三に、宗教としての法の価値について何も述べない。本定理の射程は、命題的閉包を持つ形式化部分に限られる。
(e) 定理25（諸法無我定理）との関係――本定理は新たな形而上学的主張ではない
本定理が導く無自性は、定理25（諸法無我定理）の関係的機能完備性を、形式理論という特定の対象に適用した具体例である。すなわち、形式理論 𝕋h は、自らの外部（メタ理論、より強い体系、追加公理）との関係を外したとき、自らの無矛盾性という自己基礎づけを持たない。関係から切り離された自己完結的な基礎づけが存在しないという点で、これは定理25（諸法無我定理）の述べる無自性と同一の構造である。本節は新しい形而上学を導入せず、既存の定理を一つの対象へ適用しているにすぎない。
想定される反論と応答。「法は形式体系ではない。これは範疇錯誤である」という反論が予想される。応答は次のとおりである。本定理は法と形式体系の同一性を主張していない。主張は条件文である――ある教説の集まりが条件29-Aを満たすならば、以下が従う。したがって、法を形式体系とみなさない立場は本定理と衝突しない。むしろ本定理の力が向かう先は、「教説が完全であり、自らのうちで完結して基礎づけられている」という主張である。そのような主張は、教説が教授可能（有効性）であり自らの枚挙構造を語れる（算術強度）ことを同時に要求するため、条件29-Aの適用対象となる。本定理が否定するのは法ではなく、法についての完結性の主張である。
既存の定理25（諸法無我定理）はすでに「諸法無我定理」であるため、本節は同名にしない。また、現象としての dharma と、教説として形式化された Dharma を区別する。「法そのものが公理系である」は結論ではなく、次のモデル化条件である。
5.1 形式理論条件
履歴段階 h∈ℕ ごとに、形式理論を
とする。
各 Lh は算術言語またはその計算可能な定義拡大で、計算可能に符号化される。Axh は計算可枚挙、証明検査は有効である。𝕋h は IΣ1 程度の十分な算術を含み、少なくとも算術文について標準自然数模型 ℕ に対し健全で、標準的証明述語とHilbert–Bernays–Löb導出可能性条件を持つ。prefix-free普遍機械 U を一つ固定し、KU を理論内で算術化できる。
段階過程 d𝕋:=(h↦𝕋h) を 𝔇 に含め、言語、公理、推論規則、符号化、担体、履歴、利用結果を Γd𝕋,a に機能的に完備して条件25-Dを適用する。
全段階で同じ算術言語 L、推論系 ⊢、普遍機械 U を用い、𝕋0=(L,Ax0,⊢) は29-Aを満たす。各有限段階 n で、標準模型で真だが 𝕋n では証明不能な文 Gn をメタ理論で選び、
条件29-Aを満たす各 𝕋h について、次が成り立つ。
- 真なる決定不能文が存在する： ∃ Gh [ℕ⊨ Gh∧𝕋h⊬ Gh∧𝕋h⊬¬ Gh].(29.3)
- 自己の無矛盾性を内部証明できない： 𝕋h⊬Con(𝕋h).(29.4)
- 機械 U と理論に依存する定数 ch,U が存在し、 ∀ s∈{0,1}* ∀ n∈ℕ (n>ch,U): 𝕋h⊬ ``KU(s̄)>n̄''.(29.5)
さらに条件29-Bのもとで、∀ a∈𝒜 ¬Atman(d𝕋,a) である。条件29-Cのもとで、
は各有限段階で健全性を保ちながら不完全性が再発する厳密増大鎖であり、有限段に最終完全理論はない。特に離散的無常述語
は真である。これは条件29-Cが与える更新過程の無常であって、Gödel・Chaitinだけの帰結ではない。
(29.3) は条件29-Aの有効性・十分な算術強度・健全性のもとでGödel第一不完全性定理を適用した結果である。(29.4) は同じ理論の無矛盾性と標準導出可能性条件からGödel第二不完全性定理による。
(29.5) を背理法で示す。一様上限がないなら、任意に大きい入力 n に対し、𝕋h の証明を列挙して最初に現れる ``KU(s̄)>m''（ただし m≥ n）を探し、その s を出力できる。プログラム長は固定された 𝕋h 証明列挙器の記述長 ch と n の自己区切り記述長の和、すなわち ch+K(n)+O(1)=ch+O(log n) である。一方、健全性により出力された s は真に KU(s)>m≥ n を満たす。十分大きい n では ch+O(log n)<n となり矛盾する。よって一様閾値 ch,U が存在する。
29-Bの無自性結論は、定理28（涅槃無我・型整合定理）と同じ25-Dの二分法を d𝕋 に適用すれば従う。29-Cでは、真文を一つ加えるので標準模型に対する健全性は保存され、Gn∉Th(𝕋n) だが Gn∈Th(𝕋n+1) だから包含は厳密である。各 𝕋n+1 は再び29-Aを満たすので、不完全性を帰納的に再適用できる。∎
- 「すべての公理系は不完全」は偽である。弱い決定可能理論や、非効果的な完全真理集合は射程外である。
- 不完全性定理だけでは時間変化は出ない。更新は条件29-Cで新たに与えた。
- 「アプリオリが否定された」は哲学的解釈である。数学的結論は、十分に強い有効理論の非完結性、自己認証限界、複雑性下界の内部証明限界である。
- Gödel・Chaitinだけでは仏教的無我は出ない。無自性結論は定理25（諸法無我定理）と条件29-Bから出る。
6. 定理30――エントロピー交換自我構成定理
定理1（苫米地主定理）ではEgoはすでに制御方策として、定理16（自己意識存在・発生定理）では自己意識逆極限と固定点が、定理18（内省言語進化定理）ではそれを前提とする内部言語が定義されている。したがって本定理の「生成」は、主体を無から作ることではなく、内省言語が履歴相対的なEgo構成を選択・安定化することを意味する。
6.1 逆系上の内省言語
主体 i について、定理16（自己意識存在・発生定理）の逆系を
とする。SCi はBanach空間内の非空コンパクト凸集合（したがって完備距離空間）で、既存フィードバック Fi:SCi→ SCi を持つ。
内省言語列 m∈Σi* ごとに連続写像 La,m:Ka→ Ka があり、La,ε=idKa かつ
これが誘導する Lm:SCi→ SCi に対し Gm:=Fi∘ Lm と置く。定理16（自己意識存在・発生定理）の完備距離 dSC のもとで Lip(Fi)=qF<1 とする。各非空語 m≠ε について Lip(Lm)=qm、qFqm<1 とし、空語固定点 S*ε について
言語拡張方策空間 Πi(ℓ) はコンパクトで、費用 Ji(π;S) は π に下半連続である。したがって
が実現する。
履歴相対的な言語条件付きEgo構成の不確実性を、確率変数 Z:Ω→ SCi とその座標 Za:=pra∘ Z で表す。Za は有限または可算値（あるいは固定量子化済み）で、以下のShannonエントロピーは有限非負とする。低層観測と時刻 t までの言語履歴が作る情報を 𝒢t とする。同一対象 Z を更新する区間では、定理15（認知物理エントロピー交換・保存定理）の状態エントロピーと定理18（内省言語進化定理）の条件付きShannonエントロピーを
で接続し、以後 wa← waca と再定義する。定理15（認知物理エントロピー交換・保存定理、本稿 §3.7）の和の正則性A6′と交換式A7が同じ Ha,wa に適用される。
定理15（認知物理エントロピー交換・保存定理）・定理16（自己意識存在・発生定理）・定理18（内省言語進化定理）の仮定と条件30-A〜Cのもとで、各非空内省言語列 m は一意な固定点 Sm*∈ SCi を選択し、任意の初期自己状態 S0∈ SCi について
また Sm*≠ S*ε であり、
は言語・履歴相対的なEgo構成をなす。
t1<t2 に新しい内省言語 M(t1,t2] が加わり、𝒢t2=𝒢t1∨σ(M(t1,t2]) とする。重み付き自我構造化エントロピー
について、Δ X:=X(t2)-X(t1) と定めると、
少なくとも一層で相互情報量が正なら Δ Sphys>0。Π=0 の理想可逆交換では、認知側の重み付き秩序化量と物理側増大量が等しい。
S=(sa)a∈ SCi とする。(30.2)より pba(La,msa)=Lb,m(pbasa)=Lb,msb だから、LmS は再び整合族である。ゆえに Lm、したがって Gm は SCi の自己写像である。qFqm<1 よりBanachの固定点定理を適用でき、一意固定点と(30.6)を得る。もし Sm*=S*ε なら固定点性が(30.3)に反する。条件30-Bから方策(30.4)が存在し、(30.7)は型の整合した三つ組である。
条件付きエントロピーの連鎖律から、各層で
重み付きに和を取れば(30.9)。条件30-Cにより、これが定理15（認知物理エントロピー交換・保存定理）の交換台帳と同じ量である。A7を区間積分し(30.9)を代入すれば(30.10)となる。相互情報量と Π は非負なので結論を得る。∎
自己状態そのものが区間内で変化するなら、Ḣa=σa-ιa（新規不確実性率−言語情報率）と分け、Σ wa(ιa-σa)>0 を正味構造化条件とする必要がある。定理18（内省言語進化定理）の正の情報利得だけでは、この正味不等式は自動的に出ない。また、一般の情報取得にLandauer下限を直接適用してはならず、物理的消去過程を別途指定する必要がある。
7. 定理31――内省言語閉包・低抽象度六道輪廻定理
通称を「数理言語罠定理」とする。定理18（内省言語進化定理）の Π0⊆Π(ℓ) は言語が選択肢を増やすことしか述べず、高抽象度への脱出を保証しない。罠を証明するには、言語ジャンプと連続力学の両方を閉じる必要がある。
7.1 低抽象度帯とハイブリッド系
ā≺⊤ を固定し、定理3（抽象的共有TCZ収束定理）の抽象写像 φ により
を閉集合とする。言語更新と、現在の言語化Ego方策による流れを
とする。現在の言語・評価体制を固定した区間で Vℓ=Vℓ(x) とし、閉じた現在TCZを Cℓ:=Kā∩{x| Vℓ(x)≤θℓ} とする。
すべての利用可能な言語列について Tm(Kā)⊆ Kā。
解は前方完備であり、境界上で Fℓ(x,t)∈ TKā(x)。ここで TK(x) はBouligand接錐である。
流れとジャンプの双方について前向き不変な吸引域 Bℓ⊆ Kā、定数 c1,c2,λ>0、連続Lyapunov残差 Wℓ が存在し、
を流れ上で満たす。各言語ジャンプは Wℓ(Tmx,t+)≤ Wℓ(x,t-) を満たし、ジャンプ時刻は非Zenoである。
輪廻部では x0∈ Cℓ とし、Cℓ=⊔r=16Rr を六つの非空Borel領域へ粗視化する。更新時刻は τn↑∞ を満たし、
で定める Zn∈{1,…,6} は、外部状態を持たない時間斉次有限既約Markov連鎖である。
定理1（苫米地主定理）・定理3（抽象的共有TCZ収束定理）・定理16（自己意識存在・発生定理）・定理18（内省言語進化定理）の正則条件と条件31-A〜Cを仮定する。任意の x0∈ Bℓ に対し、
特に x0∈ Cℓ なら x(t)∈ Cℓ であり、現在TCZから出ない。高抽象度ゴール集合 H⊂ X∖ Kā が δH:=d(Kā,H)>0 を満たすなら、
したがって現在の言語・Ego閉ループだけでは H に到達できない。
さらに x0∈ Cℓ と条件31-Dのもとでは一意な定常分布 μ が存在し、各 r について
条件31-BとNagumoの不変性定理により連続流は Kā を保存し、31-Aにより各言語ジャンプも保存する。非Zeno性のもとで流れとジャンプについて帰納すれば、全ハイブリッド時刻で x(t)∈ Kā。
流れ区間では比較定理から Wℓ(t)≤ e-2λ(t-s)Wℓ(s)、ジャンプでは増加しない。区間を連結し(31.3)の二次挟み込みを使えば(31.4)を得る。x0∈ Cℓ なら初期 W=0 なので常に零である。(31.5) は集合間距離の定義から直ちに従う。
有限既約Markov連鎖は正再帰的で一意な正値定常分布を持つ。再帰定理とMarkov連鎖の強法則から(31.6)を得る。∎
7.2 条件31-D の各修飾語の役割
条件31-D は「Cℓ を六つの非空Borel領域へ粗視化する」と述べる。三つの修飾語はそれぞれ独立の役割を担い、いずれを落としても (31.6) は成立しない。以下に分節して明示する。
状態空間 Cℓ は一般に連続体濃度をもつ。連続分布のもとでは、任意の一点への再訪確率は零であり、「同一状態への無限回の回帰」は自明に偽となる。したがって回帰を非自明な命題として述べるには、状態を有限個の巨視領域へ写す商写像を経由する必要がある。定理31 が主張するのは、この商の水準における回帰であって、点の水準における回帰ではない。両者を混同してはならない。
Cℓ = ⊔r=16Rr は、被覆性（∪Rr = Cℓ）と互いに素（r ≠ r′ ⇒ Rr ∩ Rr′ = ∅）を同時に要求する。前者を落とすと商写像が全域で定義されず、後者を落とすと Zn が一意に定まらない。いずれの場合も (Zn)n≥0 は確率過程として構成できず、Markov 連鎖の理論が適用できない。
各 Rr が Borel 可測でなければ、Pr(x(τn+1) ∈ Rr′ | x(τn) ∈ Rr) が定義されず、遷移行列 P = (prr′) が構成できない。非可測集合の存在（選択公理のもとでの Vitali 集合等）を排除する条件であり、装飾ではない。標準 Borel 空間上の正則条件付き確率の存在により、可測性のもとでは遷移核が確保される。
Rr = ∅ なる r が存在すれば、その状態は到達不能となり既約性が破れる。既約性が破れれば一意な定常分布の存在が保証されず、(31.6) の μr > 0 は導けない。非空性は、六つの領域すべてが正の頻度で訪問されるという結論を支える条件である。
7.3 「六道輪廻」という名称の射程
本定理が「六道輪廻」の語を用いるのは、内省言語閉包のもとで低抽象度帯から離脱できないという数理的事実を、教学の語彙で名指すためである。この対応が適切であるのは、六道の教説において最上位の天界においてもやがて苦が生起するとされ、いずれの領域も終端ではないとされる点が、定理24（一切皆苦定理）の a ≺ ⊤ ⇒ J*a,ρ(x,T) > 0 と構造的に一致するからである。以下、この名称が主張しない三点を明示する。
(31.6) の証明に用いるのは有限既約 Markov 連鎖の再帰定理と Birkhoff–Kingman 型の遍歴定理のみであり、いずれも状態数に依存しない。したがって空未満においては、粗視化の分割数が 6 であっても 7 であっても 10 であっても結論は同一である。数学が要求するのは有限性・非空性・Borel 可測性・非交性・既約性のみであって、数 6 それ自体には数理的重要性がない。分割数と各領域の名称は教学の側から与えられる。
本定理はいわゆる転生（生まれ変わり）を前提とせず、その存否について肯定も否定もしない。数学が述べるのは閉じた有限既約系における反復訪問の構造のみである。ただし、定理25（諸法無我定理）
は、履歴相対の機能的自己は存在するが、全履歴に共通の固定点も、いかなる抽象度レイヤーにおける固定的自性も存在せず、全存在は縁起の網の中で成立することを厳密に証明している。ここから直ちに次が従う。
仮に転生が存在するとしても、それは空未満の抽象度層における縁起の継続ではありえても、固定的自性の連続ではありえない。実際、そのような連続する自性は全履歴共通の固定点 S0 を与えることになり、定理25 の第一連言に反する。
この縁起の継続を「転生」と呼称するか否かは教派的判断に属し、数学は関与しない。ただし、ここで言いうる継続性は、釈迦以前の転生観とは本質的に異なることを注記しておく。釈迦以降の定式化においては関係の網の継続が問題であるのに対し、釈迦以前の転生観は層を越えて運ばれる実体を措定していた。定理25 が排除するのは、まさに後者である。
条件31-D の更新時刻列 τn ↑ ∞ に、それが生涯の境界に対応するという要請は一切含まれていない。したがって (31.6) は、単一の生涯内における領域遷移——喜・争・渇・失意・苦等の巨視状態の反復——にそのまま適用される。数理的にはこれもまた六道輪廻である。本定理が第一に記述するのは、この水準の事象である。
7.4 定理31 が形式化する対象——『中論』の言語批判との構造的対応
本定理に「数理言語罠定理」の別称を与えるのは、その形式化の対象が、龍樹『中論』（Mūlamadhyamakakārikā、およそ二〜三世紀）以来「言語の罠」として論じられてきた構造に一致するためである。本節は解釈層であり、定理31 の証明はこれに一切依存しない。
(a) 実体視。名称の付与により対象が不変の実体と看做される。数理的対応物は抽象度の上限 ā と閉集合 Kā であり、実体視は上限の低位固定に対応する。『中論』24.18 は、縁起するものを空と呼ぶがその空もまた仮名（prajñapti）であるとし、それこそが中道であると述べる（鳩摩羅什訳「亦為是仮名」「亦是中道義」）。
(b) 二項対立。「有／無」の枠組への囚われ。数理的対応物は条件31-A Tm(Kā) ⊆ Kā である。「有」を選ぶ更新も「無」を選ぶ更新も同一の言語更新族に属し、いずれの像も Kā に留まる。『中論』15.10 は有への執を常見、無への執を断見とし、知者はいずれにも執われないと述べる（「不応著有無」）。冒頭の八不も、八対の対立項のいずれも取らないことにより枠組そのものの解除を図る点で同型である。
(c) 戯論（prapañca）。概念の無際限な増殖。数理的対応物は条件31-A の全称量化「利用可能なすべての言語列について」そのものである。定理18（内省言語進化定理）が保証する方策集合の拡大 Π0 ⊆ Πℓ は、定理31 の d(x(t),H) ≥ δH と両立する。『中論』18.5 は業と煩悩が分別に、分別が戯論に由来し、戯論は空において滅すると述べる（「入空戯論滅」）。
『中論』13.8 は、諸仏が一切の見解を離れしめるために空を説いたのであり、空を見解として抱く者は救い難いと述べる（「若復見有空」「諸仏所不化」）。同趣旨は 22.11 にも現れる。この警告には、条件31-A の全称量化のもとで正確な数理的対応物が存在する。
すなわち、条件31-A は利用可能なすべての言語列について Tm(Kā) ⊆ Kā を要求し、この全称に例外は認められない。したがって「空」という語を Kā 内で運用可能な言語列の一つとして獲得した場合、その像もまた Kā に留まる。これは方策集合を一つ拡大するにすぎず、到達可能抽象度は増加しない。他方、最高抽象度としての ⊤ は定義により Kā の外部にあり、δH = d(Kā, H) > 0 は閉じない。空が見解として内部化された時点で、それは戯論の一項目となる——これが当該警告の数理的内実である。
『中論』が方便として位置づける言語運用——言語を内容としてではなく作用として用いること——は、定理32（未来TCZホメオスタシス絶対他力定理）の機構に対応する。定理32 が示すのは、同一閉ループ内での方策探索ではなく、閉ループ自体の再構成である。外部ゴールを終端条件として設定すると評価関数が V0 から ṼG へ、方策が πℓ から πG へ移行し、(32.7) のもとで Kā は前向き不変集合でなくなる。すなわち壁が破られるのではなく、壁を壁たらしめていた条件が消失する。
(i) 本節は龍樹の教説の真理性を主張しない。証明されたのは明示された条件下の数学的命題のみであり、それに「言語の罠」の名を与えることの適否は教学および思想史の判断に属する。(ii) 本節は中観の教義に数学的基礎づけを与えるものではない。示したのは構造の一致であって教義の真偽ではなく、中観内部の解釈上の対立（帰謬論証派と自立論証派の別を含む）は数学から決定されない。(iii) 本節は言語一般の否定的評価を含意しない。定理18 は内省言語が不確実性を減少させ方策集合を拡大することを証明しており、定理31 が述べるのはその拡大が閉集合内部に限局されうるという事実のみである。
『中論』の引用は章・偈番号により、漢訳は鳩摩羅什訳に拠る。訳出は本稿による。いずれの引用も定理31 の証明には用いておらず、解釈層としてのみ機能する。
8. 定理32――未来TCZホメオスタシス絶対他力定理
本定理で「絶対他力」と呼ぶのは、超自然的作用や物理的逆因果ではない。Selfが現在TCZ外のゴールを終端条件として設定した後、旧Egoの追加努力入力を必要とせず、未来限定Egoの閉ループが未来TCZへ自律収束するという、モデル内の操作的名称である。
8.1 ゴール、臨場感閾値、未来限定Ego
現在TCZを C0、真のゴールを G とし、d(G,C0)>ε とする。定理8（苫米地未来原点認知時間定理）の未来限定Egoを
正のゴール駆動場、そのゴール点での値、および実効ポテンシャルを
未来TCZを CG(t):={y|ṼG(y,t)≤θG} とする。rG(t)>0 のとき
rG(t)≥ r0>0、0≤ PG≤1、Pcrit(t)≤1、かつ PG(G,t)≥ Pcrit(t) が t≥ t0 で成立する。ṼG は下に有界で、最適方策と前方完備解が存在する。
非空の前向き不変吸引域 BG が存在し、x(t0)∈ BG。CG(t) は BG からの許容到達閉包に含まれ、未来限定Egoの実入力は u(t)=πG(x(t),t) である。
各 CG(t) は非空閉集合である。定数 a1,a2,λG>0 とLyapunov関数 WG が存在し、軌道上の t↦ WG(x(t),t) は局所絶対連続で、BG 上で
ここでDini微分は、集合 CG(t) の移動を含む全軌道微分
である。
定理1（苫米地主定理）・定理4（苫米地臨場感加重定理）・定理7（苫米地真のゴール定理）・定理8（苫米地未来原点認知時間定理）・定理9（苫米地未来原点ゴール達成定理）の正則条件と条件32-A〜Cのもとで、すべての t≥ t0 について G∈ CG(t) であり、
d0:=d(x(t0),CG(t0)) とする。任意の δ>0 に対し、未来TCZの δ-近傍への到達時刻上界を
[2pt] t0+1/λGmax{0, log(√(a2/a1)d0/δ)}, d0>0(32.6)
とすれば、t≥ Tδ で d(x(t),CG(t))≤δ である。
条件32-Aと(32.3)から κ PG(G,t)rG(t)≥[V0(G,t)-θG]+。したがって ṼG(G,t)≤θG であり、G∈ CG(t)。
(32.4)とGrönwall不等式から WG(x(t),t)≤ WG(x(t0),t0)e-2λG(t-t0)。上下の二次評価を代入して平方根を取れば(32.5)。右辺を δ 以下にする時刻について解けば(32.6)を得る。実入力は設定後も πG だけなので、この収束は再構成された閉ループホメオスタシスによる。∎
8.2 言語罠からの脱出との整合
定理31（内省言語閉包・低抽象度六道輪廻定理）の罠から出るには、新しいゴール閉ループが31-Aまたは31-Bの閉包条件を破る必要がある。例えば Kā={x| b(x)≤0} とし、軌道が時刻 tb に幅 ℓ の境界帯 -ℓ≤ b(x)≤0 へ到達したとする。
b は C1、b(x(t)) は局所絶対連続であるとする。軌道が境界帯にある間、
なら、b(x(t))≥ b(x(tb))+ν(t-tb) である。τout:=inf{t≥ tb| b(x(t))>0} と置けば、
したがって有限時間で Kā を出る。これは「同じ閉ループの中で努力して脱出する」のではなく、外部ゴールが評価関数とEgo方策を再構成し、旧不変集合を不変でなくすることを表す。
既存の臨場感 P は [0,1] に正規化されるので、P>1 を意味してはならない。本定理の鍵は「有界な臨場感の閾値超過」PG≥ Pcrit である。定理21（包摂半順序臨場感方向性定理）の無界な実効利得 p を用いる場合は、P とは別量として明記する。また、臨場感が収束速度を増すという結論には、追加条件 λG=λG(PG) かつ dλG/dPG≥0 が必要である。
9. 最小性と反例
| 落とす条件 | 最小反例／起こること | 失われる結論 |
|---|---|---|
| 28-A | 関係的に定義された集合にも、独立なラベル変数を任意に付加できる。 | 関係性だけから無我は出ない。 |
| 29-Aの算術強度 | Presburger算術のような決定可能理論。 | Gödel型不完全性を無条件に主張できない。 |
| 29-Aの有効性 | 標準自然数の全真理集合は計算可枚挙でない。 | 完全性と引換えに有効証明系でなくなる。 |
| 30-Aの可換性 | 上層の自己言明を射影した結果と、下層で更新した結果が異なる。 | Lm が逆極限上の自己写像として定義できない。 |
| 30-Aの非自明性 | Gm=Gε。 | 言語で固定点が変わったとはいえない。 |
| 30-C | Shannon不確実性は下がるが、T15の状態汎関数は不変。 | 物理交換式へ代入できない。 |
| 31-A | K=(-∞,0], Tm(x)=x+2。 | 一回の言語更新で脱出する。 |
| 31-B | 同じ K で ẋ=1。 | 言語更新なしでも境界を出る。 |
| 31-Cのジャンプ条件 | 各ジャンプで W を倍増する。 | 流れが安定でもハイブリッド収束しない。 |
| 31-Dの既約性 | 遷移行列 P=I6。 | 一つの道に固定され、六状態を反復しない。 |
| 32-Bの可到達性 | ẋ=0, x0=0, G=1。 | 最大臨場感でも到達しない。 |
| 32-C | ẍ+x=0。 | 目標周囲を振動し距離が収束しない。 |
| 32-Aの閾値 | V0(G)=2,θ=1,κ rG=1,P=.5。 | Ṽ(G)=1.5>1 で未来TCZに入らない。 |
10. 総括
- 涅槃は無我である。 ただし証明根拠は「集合だから」「時刻添字があるから」ではなく、定理25（諸法無我定理）の関係的機能完備性である。一切皆苦との整合はタグ付き型が保証する。
- 形式化された教説は自己完結しない。 ただし十分に強い有効・健全な算術理論という射程内であり、不完全性と無自性は別々の根拠を持つ。
- 内省言語は自我構成を選択・安定化する。 主体の無からの生成ではない。射影整合性が逆極限Ego構成を、情報橋とT15が物理交換を与える。
- 言語は自由を増やしながら罠にもなりうる。 追加方策が低抽象度帯を保存すれば、選択肢は増えても到達可能な抽象度は増えない。
- 外部ゴール達成は再構成されたホメオスタシスで説明できる。 有界な臨場感閾値、可到達性、吸引域、強い収縮が揃うと、未来TCZへの指数収束と任意の δ-近傍への到達時間が証明される。
固定実体を置かず、型・関係・言語・情報・制御・物理散逸の相互依存だけから、涅槃の無我、知識体系の開放性、言語化Egoの構成、低抽象度閉鎖、そして外部ゴールによる閉ループ再編を一つの条件付き数理体系として記述できる。
11. 定理一覧表
本稿が用いる全定理を二表にまとめる。第一表は本稿で新たに証明する定理28（涅槃無我・型整合定理）〜定理32（未来TCZホメオスタシス絶対他力定理）、第二表は本稿が前提として用いる継承定理である。
11.1 本稿の新定理（定理28（涅槃無我・型整合定理）〜定理32（未来TCZホメオスタシス絶対他力定理））
| 定理 | 中心式 | 依存定理 | 新条件／外部結果 | 証明上の地位 | 要旨 |
|---|---|---|---|---|---|
| 定理28 涅槃無我・型整合定理 |
𝔇<⊤ ∩ Nir(T) = ∅; PZS(a,x,T) ⇔ [a=⊤ ∧ x∈𝒩⊤(T)]; ¬Atman(dN,⊤) | 定理24（一切皆苦定理）・定理25（諸法無我定理）・定理26（涅槃寂静定理） | 条件28-A（タグ付き領域の非交性と涅槃過程の関係的記述可能性） | 継承定理からの直接的帰結。新たな解析的道具を導入しない。型の分離と述語の書き換えのみ | 「一切皆苦」と「涅槃寂静」は同一領域についての競合主張ではなく、タグ付き直和で分離された排他的領域を担う。そのうえで涅槃過程自体も無我である |
| 定理29 形式法体系無自性・不完備定理 |
∃Gh[ℕ⊨Gh ∧ 𝕋h⊬Gh ∧ 𝕋h⊬¬Gh]; 𝕋h⊬Con(𝕋h); Th(𝕋0) ⊊ ⋯ | 定理25（諸法無我定理） | 条件29-A（十分な算術強度・有効性・健全性）／外部結果：Gödel第一・第二不完全性定理、Chaitin の不完全性定理 | 外部メタ定理への依存が本質的。本体系のみからは導けない。条件29-A を満たす体系に限って適用される | 教説としての法を十分に強い有効形式理論としてモデル化した場合に限り、決定不能文の存在・無矛盾性の内部証明不能・記述量の証明限界が従い、開放的更新と無自性が帰結する |
| 定理30 エントロピー交換自我構成定理 |
dSC(GmnS0,Sm*) ≤ (qFqm)ndSC(S0,Sm*); Δℋego ≤ 0 | 定理15（認知物理エントロピー交換・保存定理）・定理16（自己意識存在・発生定理）・定理18（内省言語進化定理） | 条件30-A〜C（逆系上の射影整合、言語写像の縮小性、σ加法族の単調増大） | 継承定理の合成。Banach の不動点定理と条件付き相互情報量の非負性のみを新たに用いる | 内省言語は Ego を選択し安定化する。言語が増えるほど自我構造化エントロピーは減少し、その減少分がちょうど物理側へ交換される |
| 定理31 内省言語閉包・低抽象度六道輪廻定理 |
x(t) ∈ Kā (∀t≥0); d(x(t),Cℓ) ≤ √(c2/c1)e−λtd(x0,Cℓ); d(x(t),H) ≥ δH | 定理1（苫米地主定理）・定理3（抽象的共有TCZ収束定理）・定理16（自己意識存在・発生定理）・定理18（内省言語進化定理） | 条件31-A〜D（言語閉包、Nagumo 不変性、Lyapunov 吸引性、既約非周期性） | 不変集合定理の応用。Nagumo の定理と補題0、およびエルゴード定理を用いる | 現在の言語と Ego の閉ループだけでは、低抽象度帯から出られない。六状態粗視化は再帰的であり、各状態が無限回訪問される |
| 定理32 未来TCZホメオスタシス絶対他力定理 |
d(x(t),CG(t)) ≤ √(a2/a1)e−λG(t−t0)d(x(t0),CG(t0)) → 0; Tδ の明示式 | 定理1（苫米地主定理）・定理4（苫米地臨場感加重定理）・定理7（苫米地真のゴール定理）・定理8（苫米地未来原点認知時間定理）・定理9（苫米地未来原点ゴール達成定理） | 条件32-A〜C（未来TCZの前向き不変性、有界臨場感閾値、時変Lyapunov挟み込み） | 定理9（苫米地未来原点ゴール達成定理）の時変化・定量化。到達時間の明示的上界を新たに与える | 外部ゴールが未来TCZに入るための臨場感閾値は有界である。閾値を超えれば、以後の到達はホメオスタシスが自動的に行う |
11.2 継承定理（本稿が前提として用いる定理）
| 定理 | 中心式（標準形） | 本稿での役割 | 証明の所在 | 要旨 |
|---|---|---|---|---|
| 定理1 苫米地主定理 | πc = arg min ∫V0 dt ⇒ x(t) → TCZ | 定理31（内省言語閉包・低抽象度六道輪廻定理）・定理32（未来TCZホメオスタシス絶対他力定理）の収束の骨格 | 本稿 §3.1（再掲・証明つき） | 累積評価を最小化する閉ループは、到達可能な安定領域へ軌道を導く |
| 定理3 抽象的共有TCZ収束定理 | A(x)=0 ⇔ φ(x)=LUB(W1,…,WN), A(t)→0 | 定理31（内省言語閉包・低抽象度六道輪廻定理）の言語閉包の上界構造 | 本稿 §3.2 | 未達ペナルティを加えると、集団は誰の世界も切り捨てない最小の屋根へそろう |
| 定理4 苫米地臨場感加重定理 | Ṽ = V0 − κPQ, x → TCZP | 定理32（未来TCZホメオスタシス絶対他力定理）の臨場感閾値の基礎 | 本稿 §3.3 | 臨場感は地形そのものを変形し、意志の持続によらずに谷を移す |
| 定理7 苫米地真のゴール定理 | G ∉ TCZ0, d(G,TCZ0) ≥ ε > 0, G = Self-set | 定理32（未来TCZホメオスタシス絶対他力定理）の外部ゴールの資格条件 | 本稿 §3.4 | 変革ゴールの四条件を特徴づける。到達は主張しない |
| 定理8 苫米地未来原点認知時間定理 | u* = arg min JG；終端条件 G が現在制御を決定 | 定理32（未来TCZホメオスタシス絶対他力定理）の決定方向 | 本稿 §3.5 | 終端条件つき最適制御では、現在の制御が未来のゴールから後ろ向きに決まる |
| 定理9 苫米地未来原点ゴール達成定理 | KG = PQ+ + ECSelf ≥ Kcrit と Lyapunov 降下 ⇒ x → TCZG | 定理32（未来TCZホメオスタシス絶対他力定理）の到達部分の原型 | 本稿 §3.6 | 駆動強度が臨界を超え、降下条件が満たされれば、ゴール側TCZへ収束する |
| 定理15 認知物理エントロピー交換・保存定理 | Sgen = Sphys + ΣwαHα, dSgen/dt = Π ≥ 0 | 定理30（エントロピー交換自我構成定理）の交換収支 | 本稿 §3.7 | （再掲・証明つき）物理層単独ではエントロピーの保存則は存在しない。高抽象度層まで含めてはじめて、交換による保存則が等式として成立する |
| 定理16 自己意識存在・発生定理 | SC = lim←TCZα ≠ ∅, FSC(S*) = S*, M(S*) represents S* | 定理30（エントロピー交換自我構成定理）・定理31（内省言語閉包・低抽象度六道輪廻定理）の Ego 構成 | 本稿 §3.8 | 存在は逆極限から、一意性は不動点定理から。固定点は履歴に依存する |
| 定理18 内省言語進化定理 | H(Z|Y,Mℓ) < H(Z|Y); Π0 ⊆ Πℓ; ∂ℱ/∂ℓ > 0 | 定理30（エントロピー交換自我構成定理）・定理31（内省言語閉包・低抽象度六道輪廻定理）の言語の役割 | 本稿 §3.9 | 内省言語は不確実性を減らし、方策集合を広げ、自由意思容量を増やす |
| 定理24 一切皆苦定理 | a ≺ ⊤ ∧ 条件24-A ⇒ J*a,ρ(x,T) > 0 | 定理28（涅槃無我・型整合定理）の型分離の下側 | 『苫米地四法印定理』（本稿 §3.10 に条件のみ再掲） | 空未満では、最適化しても正の残余価値が残る |
| 定理25 諸法無我定理 | ¬∃S0 ∀h: Fi,h(S0) = S0；∀d∈𝔇 ∀α∈𝕃: ¬Atman(d,α) | 定理28（涅槃無我・型整合定理）・定理29（形式法体系無自性・不完備定理）の無我の根拠 | 『苫米地四法印定理』（同上） | 関係から切り離された固定的・個体化的・因果的に非冗長な自性は存在しない |
| 定理26 涅槃寂静定理 | W⊤(x(t),t) ≤ W⊤(x(T),T)e−λ(t−T) ⇒ dist(x(t),𝒩⊤(t)) → 0；永久苦滅 ⇔ a=⊤ ∧ x∈𝒩⊤ | 定理28（涅槃無我・型整合定理）の型分離の上側 | 『苫米地四法印定理』（同上） | 最高抽象度には、生きたまま残余価値が零である前向き不変集合が存在する |
表1の「証明上の地位」欄は、各定理が既存定理からどの程度直接に従うかを示す。定理28（涅槃無我・型整合定理）は継承定理の型分離のみで従うが、定理29（形式法体系無自性・不完備定理）は外部メタ定理（Gödel・Chaitin）への依存が本質的であり、本体系のみからは導けない。定理30（エントロピー交換自我構成定理）・定理31（内省言語閉包・低抽象度六道輪廻定理）・定理32（未来TCZホメオスタシス絶対他力定理）は継承定理に新たな条件を加えた合成であり、追加された解析的道具（Banach の不動点定理、Nagumo の定理、エルゴード定理、Grönwall の不等式）はいずれも標準的なものである。
12. 参照文献
本体系の正本・関連稿
- 苫米地英人（2026）『苫米地四法印定理――定理23（諸行無常定理）–26』日本語正本および英語版。
- 苫米地英人（2026）『苫米地無明縁行定理――定理27（無明起行定理）』日本語正本・英語版・一般読者版。
- 苫米地英人（2026）『TomabechiSynthesisAvijjaSankharaJA』総括解説。
- 苫米地英人（2026）『苫米地認知物理エントロピー交換・保存定理』。
- 苫米地英人（2026）『苫米地自己意識存在・発生定理』。
- 苫米地英人（2026）『苫米地内省言語進化定理』。
- 苫米地英人（2026）『苫米地認知ホメオスタシス理論』および『苫米地抽象度自由論』。
解釈層として参照した古典
- Nāgārjuna（龍樹, ca. 2–3世紀）Mūlamadhyamakakārikā（『中論』『根本中頌』）。本稿 §7.4 の解釈層で参照。引用箇所は 13.8・15.10・18.5・22.11・24.18 および冒頭の八不。漢訳は鳩摩羅什訳（『中論』大正蔵 No.1564）に拠り、訳出は本稿による。いずれの引用も定理31 の証明には用いていない。
外部メタ定理
- Gödel, K. (1931). “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik 38, 173–198. doi:10.1007/BF01700692.
- Chaitin, G. J. (1974). “Information-Theoretic Limitations of Formal Systems.” Journal of the ACM 21(3), 403–424. doi:10.1145/321832.321839.
- Chaitin, G. J. (1975). “A Theory of Program Size Formally Identical to Information Theory.” Journal of the ACM 22(3), 329–340. doi:10.1145/321892.321894.