総括解説 ・ 日本語
空から縁起へ
数式解説版
定理27（無明起行定理）「無明起行定理」総括解説 ―― 定理24（一切皆苦定理）・26・27を貫く動的寂静の数理
苫米地 英人 · 2026年8月10日
Cognitive Research Laboratories, Tokyo ／ CyLab, Carnegie Mellon University ／ C5I Center, George Mason University
この解説の読み方
この版は、総括解説の学術版とまったく同じ内容を、数式に慣れていない方と、仏教の教理に触れたことのない方の両方に向けて書き直したものです。式はひとつも省いていません。省いていないかわりに、すべての式について、出てくる文字をひとつ残らず日本語で説明し、その式が何を言っているのかを絵と言葉で言い直しています。
この総括解説が扱うのは、たった一つの問いです。「悟った人の見ている世界」と「まだ悟っていない人の見ている世界」は、別々の宇宙なのか。答えは「同じ一つの宇宙を、違う高さから、違う向きに読んでいるだけ」です。それを数学で確かめたのが、この文書の中身です。
本文中には五色の囲みが出てきます。青は式に出てくる文字の説明、橙は式のやさしい言い換え、緑はなぜそう定義するのかという動機、赤は間違えやすい読み方への注意、金は数学の骨格です。式が苦手な方は、まず橙の囲みだけを拾って読み進めても、筋はすべて追えるように書いてあります。
🔍 数学の骨格この総括解説がひとことで言っていること。定理24（一切皆苦定理）は「空より下では、どう最適化しても残りが出る」。定理26（涅槃寂静定理）は「空では、生きたまま残りがゼロの部屋がある」。定理27（無明起行定理）は「その部屋の外にいるなら、必ず何かを漕いでいる」。この三つは直列に積み上がっているのではなく、型と状態によって担当領域が分かれている。
第1章 3分でわかる総括解説
仏教には、大きく分けて二つの語り口があります。ひとつは「すでに完成しているところから世界全体を見わたす」語り口。もうひとつは「いま条件に縛られている人間の側から、苦がどう生まれ、どう終わるかをたどる」語り口です。前者は大乗・日本密教に、後者は初期仏教の縁起説に、それぞれ強く現れます。
この二つは、しばしば別々の宇宙観のように扱われます。しかしこの総括解説が示すのは、両者が同じ一つの形式構造を、違う視座と違う方向から記述しているだけだということです。
図1 二つの読解は、同じ一つの形式構造を、違う視座と方向から捉えている。定理27（無明起行定理）がこの二方向を接続する。
1.1 二つの語り口の中身
完成点からの語り口――大乗仏教の視点。ここでは仏陀の側から宇宙と生命を見ます。世界はすでに空である。悟っていない人には宇宙が空には見えませんが、その悟っていない人そのものも空であり、存在も空であり、すべてが空です。苦しみも空、苦しみを滅することも空。例外はありません。
条件づけられた側からの語り口――初期仏教の視点。こちらは人間の側から一段ずつ上がっていきます。四法印がその経路です。まず諸行無常（すべては移り変わる）を観じ、次に一切皆苦（最適化してもなお残りが出る）を観じ、そして諸法無我（固定した自分という実体は無い）を観じて、涅槃寂静へ向かう。下から上への上昇経路です。
この順序には典拠があります。『ダンマパダ』277〜279 は諸行無常・一切皆苦・諸法無我の順に並び、『無我相経』（相応部 22.59）は「無常なるものは苦である。苦なるものは我ではない」という推論の鎖そのものを示します。本体系の定理23（諸行無常定理）→ 定理24（一切皆苦定理）→ 定理25（諸法無我定理）→ 定理26（涅槃寂静定理）という配列は、この順序に対応しています。体系内部の依存関係とも整合します――定理26（涅槃寂静定理）は定理24（一切皆苦定理）に依存するため、24 は 26 より前に来なければなりません。
1.2 十二縁起は「教義の一覧」ではなく、仏陀の瞑想法である
ここを取り違えると、この総括解説の全体が読めなくなります。十二縁起は、菩提樹の下での釈迦牟尼仏陀の瞑想法として理解する必要があります。単なる十二項目のリストではありません。
瞑想には二つの向きがあります。順観――無明に縁りて行があり、行に縁りて識があり……と、生起の順に下っていく観察。そして逆観――老死はどこから来るのかと遡り、最後に無明へ至る観察。この往復こそが、初期仏教の上昇経路を導いたものです。
定理27（無明起行定理）が厳密証明したのは、この十二縁起の最初の一支――「無明に縁りて行があり」だけです。残る十一支については何も述べません。そして、その証明のために接続した先が、四法印の定理24（一切皆苦定理）と定理26（涅槃寂静定理）でした。
💡 やさしく言うとたとえるなら、同じ山を山頂から見おろした地図と、登山口から一歩ずつ描いた行程表です。どちらも同じ山を描いていますが、視点も向きも違う。「山頂の地図が正しくて行程表が間違い」でもなければ、その逆でもありません。そして定理27（無明起行定理）は、この二つの図が同じ山を指していることを示す照合表にあたります。
第2章 「すべては空」とはどういう意味か
まず、いちばん誤解されやすい言葉から始めます。「空」は「何も無い」という意味ではありません。
空とは、あらゆる存在・経験・関係が、他から独立した固定的な中身をもたず、他との関わりのなかで成り立っているという構造のことです。机が空であるとは「机が存在しない」ことではなく、「机が、木材・加工・用途・見る人との関係を全部外しても机であり続けるような、独立の核をもたない」ということです。
ここで大事なのは、悟っていない人にも、世界はすでに空だという点です。悟りによって宇宙が新しく空へ変わるのではありません。変わるのは世界のあり方ではなく、それを捉える認知の視座だけです。
⚠️ ここを間違えやすい「苦が空である」は「苦は無い」ではありません。経験としての苦も、その因果的な効果も否定していません。否定しているのは、苦を独立不変の実体として立てることだけです。同じく「苦滅が空である」も、苦滅の可能性を否定するものではありません。この二つを取り違えると、体系全体が虚無論に見えてしまいます。
本体系では、この「悟りの視座」を抽象度の階層のいちばん上に対応づけ、それを「空」と読みます。記号では ⊤ と書きます。これは順序のいちばん上という意味の記号であって、神秘的な意味はありません。
図 抽象度のはしご。どの段にいても残りは正で、頂上でだけ苦ゼロの部屋が開く。
第3章 空と「苦ゼロの部屋」は同じものではない
ここが、この総括解説でいちばん大事な区別のひとつです。
「空にいる」ことと、「涅槃寂静が実現している」ことは、別のことです。前者は型——どの高さから世界を見ているか——の話です。後者はその型の内部に定義された集合に、いま自分が入っているかどうかの話です。
𝒩⊤(T) := ℬalive ∩ { x | J*⊤,ρ(x,T) = 0 }(26.1)
🔢 この式に出てくる文字𝒩⊤(T)＝時刻 T における零残余苦価値集合族。本解説では「苦ゼロの部屋」と呼ぶ／ℬalive＝生命活動が維持される状態の集まり／J*⊤,ρ(x,T)＝状態 x から最善を尽くしたときになお残る苦の割引つき合計／ρ＝割引率／∩＝共通部分
💡 やさしく言うと「生きている」と「残りの苦がゼロ」の両方を満たす状態だけを集めた部屋、という意味です。「生きている」が定義に最初から入っているので、この部屋は死ではありません。
図4 空は「型」、苦ゼロの部屋はその型の内部に定義された集合。最高抽象度にいても、部屋の外にいることはありうる。
⚠️ ここを間違えやすい定理26（涅槃寂静定理）が必要とするのは、最高抽象度にいることと、いまの状態がその部屋に属していることが同時に成り立つことです。あらゆる感覚と意識を失った植物状態の意識障害は涅槃寂静ではありませんし、最高抽象度は定義上この世のあらゆる任意の知識を包摂する知的状態を指し、だからと言って体がない訳ではありませんから身体は傷も受けます。事実、悟りを開いた後の釈迦は食中毒で亡くなっています。
3.1 では、その「部屋」そのものは実体なのでしょうか
🌱 なぜそう置くのかいいえ。部屋の定義をもう一度見てください。部屋は評価 V、割引率 ρ、生きている状態の集まり、そして最適化という関係のなかでだけ定義されています。これらを外すと、部屋という概念そのものが消えます。
しかも部屋は時刻 t とともに動く集合族であって、固定した一つの対象ではありません。そして点ではなく集合です。
つまり部屋そのものも「関係から切り離された実体」ではありません。定理25（諸法無我定理）が否定するのは、まさにそういう実体でした。涅槃もまた無我である――これは解釈ではなく、部屋の定義から直接出てきます。
⚠️ ここを間違えやすいだからこそ「涅槃こそが本当の実体だ」と摑むことはできません。摑んだ瞬間、それは新しい形の執着になります。
これは文献の上でも論点になってきました。『ダンマパダ』279 の「一切の法は無我である」が涅槃をも含むのか、という問いです。上座部の注釈『ダンマパダ・アッタカター』は、出世間――涅槃を含む階層――も無我の範囲に置きます。一方で「本来は『一切の行は無我』だったのではないか」という異読の可能性も指摘されますが、標準的な校訂本はいずれも「一切の法は無我」を採っています。
本体系の答えは、どちらの読みを採っても変わりません。上に挙げた三点――関係でしか定義できない、時刻とともに動く、点ではなく集合――から、部屋の非実体性が独立に従うからです。
北伝にも並行する形があります。『雑阿含経』（大正蔵 T99）では「一切行無常・一切法無我・涅槃寂滅」と三句が立てられ、涅槃だけは否定形ではなく肯定的な言葉で語られます。本体系もそうなっています。定理26（涅槃寂静定理）は「苦が無い」という欠如ではなく、部屋に属しているという肯定的な条件として書かれています。
第4章 定理24（一切皆苦定理） ― 空より下では、残りが出てしまう
まず「苦の総量」をきちんと定義します。「いま苦しい」と「これからずっと苦しい」は別のことなので、未来の分も全部足し合わせる必要があります。
J*a,ρ(x,T) := minπ ∫T∞ e−ρ(t−T) Va(xπ(t),t) dt(24.1)
🔢 この式に出てくる文字Va(x,t) ≥ 0＝抽象度 a における非負の評価。「いまの無理の度合い」／e−ρ(t−T)＝遠い未来ほど軽く数える重み／ρ > 0＝割引率／minπ＝取りうる方策すべての中でいちばん小さい値／J*＝最善を尽くしてもなお残る総量
図 割引つき合計。棒の面積の合計が総量。ゼロになるのは全部の棒がゼロのときだけ。
🌱 なぜそう置くのかなぜ割引を掛けるのか。遠い未来をいまと同じ重さで数えると、合計が無限に発散してしまい、比べることができなくなるからです。割引を入れることで、「この状態からの人生の総しんどさ」を一つの有限な数で表せるようになります。
次に、空より下について一つだけ仮定を置きます。これが条件24-Aです。
∀a ≺ ⊤, ∀x, ∀T: ∄π: Va(xπ(t),t) = 0 (a.e. t ≥ T)(24.A)
🔢 この式に出てくる文字∀＝「すべての」／∄＝「存在しない」／a ≺ ⊤＝空より下の抽象度／a.e.＝ほとんどすべての時刻で（例外を全部集めても長さゼロ）
💡 やさしく言うと「空より下では、どんなにうまくやっても、苦をずっとゼロに保ち続けられる方策は無い」——これが条件24-Aです。これは証明された事実ではなく、置いた仮定です。だから定理24（一切皆苦定理）は「この仮定のもとで何が言えるか」を述べています。
この仮定と、評価が非負であることを合わせると、結論が出ます。
a ≺ ⊤ ∧ 条件24-A ⇒ 0 < J*a,ρ(x,T) < ∞(24.2)
図 非負の量の割引つき合計がゼロなら、その量はほとんど至る所ゼロ。少しでも山が残れば面積は正になる。
🔍 数学の骨格証明は背理法ひと押しです。①もし総量がゼロだったとする。②評価は非負なので、非負の量の積分がゼロなら、その量はほとんど至る所ゼロ。③するとその方策は「永久に苦ゼロを保てる方策」になってしまう。④ところが条件24-Aは「そんな方策は無い」と言っている。矛盾。よって総量は正。∎
⚠️ ここを間違えやすい「一切皆苦」は「すべての者が毎瞬ちくちく痛い」ではありません。また、全状態に共通する一様な正の下界も主張していません。言っているのは、空より下の各固定初期条件について、どれほど最適化しても永久零苦は実現できず、正の残余コストが残るという構造的な非充足性です。
第5章 定理26（涅槃寂静定理） ― 空における「生きたままの」動的寂静
最高抽象度では、話が変わります。そこには苦ゼロの部屋があり、しかも生きたまま入れる。これが定理26（涅槃寂静定理）です。
最新版における定理26（涅槃寂静定理）の条件は、三つの別条件ではなく、単一の条件26-A（零苦集合と安定性）です。この一つの条件の中に、三本の式が含まれます。
c1 dist(x,𝒩⊤(t))2 ≤ W⊤(x,t) ≤ c2 dist(x,𝒩⊤(t))2(26.A)
D+tW⊤(x(t),t) ≤ −λ W⊤(x(t),t), λ > 0(26.B)
0 ≤ J*⊤,ρ(x,t) ≤ ω(dist(x,𝒩⊤(t)))(26.C)
🔢 この式に出てくる文字W⊤＝高さメーター（Lyapunov残差）。部屋の中でゼロ、外で正／dist＝部屋までの最短距離／c1, c2＝挟み込みの正の定数／D+t＝右上Dini微分。角があっても測れる傾き／λ＝減衰率／ω＝連続増加で ω(0)=0 の関数
図 式(26.A) の挟み込み。メーターは距離の二乗の上下二本にはさまれる。
図 式(26.B) の厳密下降。高さが残っている限り、下がる速さもゼロにならない。
💡 やさしく言うと三本を一息で言うと、こうです。(26.A)「メーターは部屋までの距離と連動する」。(26.B)「メーターは自分の高さに比例した速さで必ず下がる」。(26.C)「距離が縮めば、残りの苦も縮む」。この三本があれば、部屋の外にいる限りメーターは止まらずに下がり、部屋へ近づき続けます。
🔍 数学の骨格この三本から、Grönwall の不等式によって指数的な接近が出ます。ただしこれは漸近接近であって、有限時間内の到達ではありません。一方、出発点がすでに部屋の中なら、前向き不変性により、生命活動を維持したまま零残余価値が全時刻で保たれます。
図 定理26（涅槃寂静定理）。涅槃寂静は「生きたまま、残りの苦がちょうどゼロの部屋」である。
5.1 即身成仏の数理的可能性条件
ここまでを一本の条件式にまとめると、こうなります。
a = ⊤ ∧ x ∈ 𝒩⊤(t) ∧ x ∈ ℬalive
🔢 この式に出てくる文字a = ⊤＝いま最高抽象度（空）から世界を見ていること／x ∈ 𝒩⊤(t)＝いまの状態が零残余苦価値集合に属していること／x ∈ ℬalive＝生命活動が維持されていること
💡 やさしく言うと三つが同時に成り立つこと――これが即身成仏の数理的可能性条件です。「死んでから」ではなく「生きたまま」である点が、この三つ目の連言に書き込まれています。そしてこの集合が空でないことは、条件26-A が保証します。
⚠️ ここを間違えやすい通俗解釈をそのまま数理化すると、生きたままの涅槃は不可能になります。「煩悩の炎が消える」を文字どおり V(x,t) ≡ 0 と読むと、次の二つで行き詰まります。
第一に、V0 は定理1（苫米地主定理）〜定理4（苫米地臨場感加重定理）の閉ループ制御の構成要素です。評価とその勾配がホメオスタシス制御を駆動しているので、評価過程を恒等的に止めることは制御ループの停止を意味し、ℬalive の生命維持条件と両立しません。
第二に、消えうるのは関数 V 自体ではなく、割引最適残余価値 J*⊤,ρ のほうです。定理24（一切皆苦定理）が空未満で正の下界を示すのも、V が存続することを前提にした上での残余の話であって、V が消えうると述べているのではありません。
定理26（涅槃寂静定理）の数理は、まさにこの困難を解消します。評価関数と最適フィードバックは作動し続け、身体・脳・物理エントロピーは定理23（諸行無常定理）のとおり無常のまま変化し続ける。それでも残余苦価値は厳密に零で保たれる。これが動的寂静です。
🌱 なぜそう置くのかなぜ「生きたまま」を定義に組み込むのか。そうしておけば、「涅槃は死ではない」ことが定義から直ちに従い、証明する必要すらなくなるからです。また部屋に時刻 t が付いているのは、部屋自体が動いてよいことを許すためで、これにより寂静は静止ではなく動的なものになります。
第6章 区別すべき三つの「零」
涅槃寂静は、しばしば「煩悩の炎が消え去った静かな心境」と説明されます。この比喩は美しいのですが、そのまま数理に持ち込むと取り違えが起こります。何がゼロになるのかを、三つに分けて整理します。
図2 三つの「零」。定理26（涅槃寂静定理）で零になるのは右端であって、左端ではない。
三つの「零」の区別| 表現 | 意味 | 本体系での位置 |
|---|
| V(·,·) ≡ 0 | 評価写像を全域で恒等零にする、または評価機構自体を削除する。 | 定理26（涅槃寂静定理）は要求しない。評価過程を削除すれば、定理1（苫米地主定理）〜4の V 駆動閉ループというモデル構造そのものを失う。 |
| V⊤(x(t),t) = 0 a.e. | 作動中の評価写像が、指定された零コスト軌道上でほとんど至る所、零を返す。 | 評価が非負であることと最適値の達成のもとで、部屋の中の指定軌道に成立する。 |
| J*⊤,ρ(x,T) = 0 | 将来にわたる割引最適残余価値が零である。 | 定理26（涅槃寂静定理）の中心。部屋への所属を定義する。 |
⚠️ ここを間違えやすい定理26（涅槃寂静定理）で零になるのは、評価機構の存在ではなく、最適残余価値です。評価する働きそのものを消してしまえば、心が谷へ転がるという体系の土台（定理1（苫米地主定理）〜4）が崩れます。動的寂静とは、評価系を削除することではなく、作動中の閉ループのもとで零残余集合への所属が保たれることです。
💡 やさしく言うと身体・脳・環境・物理エントロピーは、定理23（諸行無常定理）と整合するかたちで変化し続けます。ゆえに涅槃寂静は物理的な静止ではありません。止まるのではなく、向きが変わるのです。
第7章 定理27（無明起行定理） ― 動的寂静から「無明に縁りて行がある」へ
ここで、十二縁起の最初の一句につながります。パーリ語で avijjāpaccayā saṅkhārā、「無明に縁りて行が起こる」。
まず無明を定義します。この体系では、無明は気分でも知識不足でもなく、「永久に苦ゼロを保てる方策が存在しない」という可能性についての事実です。
Avijjā27(a,x,T) :⇔ ¬ PZS(a,x,T)(27.1)
Avijjā27(a,x,T) ⇔ [ a ≺ ⊤ ] ∨ [ a = ⊤ ∧ x ∉ 𝒩⊤(T) ](27.2)
🔢 この式に出てくる文字:⇔＝左辺を右辺で定義する／¬＝「〜でない」／PZS＝永久零苦命題。「その状態から出発して以後ずっと苦をゼロに保てる方策が存在する」／∨＝「または」／∧＝「かつ」／∉＝「入っていない」
💡 やさしく言うと読み下すと、無明であるとは、（i）空未満の階層にいるか、または（ii）最高抽象度にいるがまだ部屋に入っていないか、そのどちらかです。（i）は定理24（一切皆苦定理）が、（ii）は定理26（涅槃寂静定理）が保証します。
図 無明とは「部屋の外にいる」という位置の事実。感情や能力の問題ではない。
次に、無明の量とその減る速さに名前をつけます。
Ign27(x,t) := W⊤(x,t)(27.3)
Des27(t) := − D+t W⊤(x(t),t)(27.4)
💡 やさしく言うと新しい量を作ったのではありません。定理26（涅槃寂静定理）がすでに用意していた高さメーターに、別名を付けただけです。マイナスを付けているのは、「下がっている量」を正の数で言いたいからです。
図 高さメーター。ゼロになった瞬間が寂静である。
ここまでで、条件26-Aの式(26.A)(26.B)から次が出ます。
Avijjā27(⊤,x(t),t) ⇒ Des27(t) ≥ λ Ign27(x(t),t) ≥ λ c1 dist(x(t),𝒩⊤(t))2 > 0(27.6)
💡 やさしく言うと「部屋の外にいる限り、メーターは止まらずに下がっている」。しかも、どれだけ遠いかに応じた最低量が保証されます。
⚠️ ここを間違えやすいただし、この下降だけでは「本人が漕いだ」とは言えません。川の流れだけで下がっているかもしれないからです。自然な力学だけで残差が下がる反例が実際に存在します。ここが定理27（無明起行定理）でいちばん大事な分かれ目です。
図 流されて下がったのか、漕いで下がったのか。これを分けるのが条件27-A。
そこで条件27-Aを置きます。同じ自然ドリフトと同じ実アクチュエータのもとで、指定入力と、独立に固定した基準入力を引き算するのです。
ẋ = f0(x,t) + G(x,t) u , u0(t,x) := π0⊤(t,x)(27.A1)
η27 := u0 − utr , ∂W⊤/∂t + ∇xW⊤T Ftr⊤ = 0(27.A2)
🔢 この式に出てくる文字f0＝自然ドリフト。誰も何もしなくても動く分（川の流れ）／G＝実アクチュエータ写像。入力が状態に効く実際の経路／u0＝指定方策が選ぶ最適入力／utr＝独立に固定した基準入力（生きるための分）／η27＝志向信号。二つの入力の差／Ftr⊤＝基準入力だけで動かしたときの閉ループ
図 「行」の正体は引き算。選んだ入力から、生きる分を引いた残りが志向信号になる。
💡 やさしく言うと式(27.A2) の言っていることは一つだけです。「素のままにしておけば、メーターの高さは変わらない」。だからもしメーターが下がったなら、素のままではなかった、つまり誰かが余分に漕いだということになります。
Saṅkhārā27(x(t),t) :⇔ − ∇xW⊤T G η27 > 0(27.5)
Avijjā27(⊤,x(t),t) ⇔ Des27(t) > 0 ,
Avijjā27(⊤,x(t),t) ⇔ Saṅkhārā27(x(t),t) （a.e.、条件27-A）(27.10)
図 結論は二段階。②までは定理26（涅槃寂静定理）だけ、③には条件27-Aが要る。
⚠️ ここを間違えやすい証明された向きに注意してください。定理27（無明起行定理）は「無明だから寂静から遠ざかる」とは証明しません。証明するのは、指定最適方策のもとで寂静未達残差が零へ向かって下降し、その下降に非零の志向信号が寄与することです。また部屋の中で零になるのは無明に条件づけられた正の横断寄与だけで、生命維持・評価・思考・他者への応答・自由意思容量・部屋の中の接線運動までが消えるわけではありません。
図 ゼロになるものと、ならないもの。
第8章 型による三分 ― どの定理がどこを担うのか
図3 型と状態による三分。三つの場合は排他的で、型付き領域をちょうど覆う。
型と状態による三分| 型・状態 | 形式的結論 | 解釈 |
|---|
| a ≺ ⊤ | 条件24-Aにより永久零苦は不能。さらに可測性・有限コスト・最適値達成の仮定のもとで 0 < J* < ∞。 | 空未満の構造的非充足性。型付き操作的無明の空未満の枝。 |
| a = ⊤, x ∉ 𝒩⊤(t) | 操作的無明が成立し、正の残差下降。条件27-Aのもと、ほとんどすべての時刻に行が成立。 | 寂静未達から、残差を減少させる非零の志向的形成作用へ。 |
| a = ⊤, x ∈ 𝒩⊤(t) | 所属が前向き不変で、最適残余価値は零のまま。無明条件付きの正のアクチュエータ寄与はほとんど至る所ゼロ。 | 生命活動・無常・関係的行為を保った動的寂静。 |
💡 やさしく言うと三つの箱は重ならず、隙間もありません。どんな状態も必ずどれか一つに入ります。だから「この体系はどこまで何を言っているのか」が、この表だけで完全に分かります。
第9章 依存関係は直列ではない
ここは読み違えが起きやすいところです。定理24（一切皆苦定理）・26・27は、24→26→27 と一本の鎖でつながっているわけではありません。
図5 定理24（一切皆苦定理）・26・27の依存関係。これは型付き全体像の総合図であって、三者が直列に依存する証明図ではない。
🔍 数学の骨格正確に言うと、こうです。①定理24（一切皆苦定理）が担うのは、式(27.2) の「空未満の枝」だけ。②最高抽象度における「無明 ⇔ 行」の同値は、定理26（涅槃寂静定理）の常設仮定・式(26.A)(26.B)・所定の正則性・条件27-A から成立する。③したがって定理24（一切皆苦定理）は、型付き総合には不可欠だが、最高抽象度の無明起行対応の直接証明には用いられない。
🌱 なぜそう置くのかなぜこの区別にこだわるのか。依存関係を正確に書いておくと、どの前提が崩れたときに何が崩れるかが分かるからです。たとえば条件24-Aを疑う人がいても、最高抽象度の無明起行対応そのものは揺らぎません。逆に条件27-Aを外せば、②が崩れて「下がっている」までしか言えなくなります。
第10章 まとめ ― 数学的にはどこまで一つなのか
本体系が形式化した範囲では、初期仏教の十二縁起の冒頭句と、大乗・日本密教的に解釈された生きたままの動的寂静とは、同じ形式構造の上で接続できます。悟りの視点から全体を捉える記述と、空未満の人間の視点から苦の生起と止滅を追う記述とは、方向が違うだけで、数学的に両立します。
🔍 数学の骨格共通の形式構造とは、次の三つです。①最高抽象度という最大元。②その内部の零残余集合族。③その集合への接近を支配する Lyapunov 力学。この三つを、違う視座と違う方向から捉えたのが、二つの読解である。
🔍 数学の骨格結論を一行で書けば、こうなります。
大乗仏教における密教の動的「空」の数理が、定理26（涅槃寂静定理）の中心である。そしてその同じ「空」の数理が、そのまま初期仏教における釈迦の菩提樹での瞑想――十二縁起の最初の「無明に縁りて行があり」を厳密証明した定理27（無明起行定理）の骨格になっている。
したがって、少なくとも数学的には、初期仏教と大乗密教のあいだに差はありません。あるのは、冒頭に書いたとおり視点の差だけです――仏陀の側から見おろすか、人間の側から登るか。
⚠️ ここを間違えやすいこれは本モデル内の形式的両立可能性の主張であって、初期仏教・大乗仏教・密教の歴史的・教義的同一性の主張ではありません。また定理27（無明起行定理）は、パーリ語原典上の avijjā と saṅkhārā の全語義を尽くしません。厳密に証明されるのは、両語をモデル相対的・操作的な概念へ写像したのちに成立する条件関係だけです。さらに、証明範囲は十二縁起の最初の一関係に限られ、残る十一の条件関係を証明するものではありません。
💡 やさしく言うと最後に、日常語で。「まだ着いていないなら、必ず何かを漕いでいる。着いてしまえば、その漕ぎは止む。ただし止むのは『出ていこうとする向きの漕ぎ』だけで、生きることも、考えることも、誰かに応えることも、止まりはしない。」——そして、この話は最初から最後まで、同じ一つの宇宙についての話です。