東洋文化研究会 論考叢書 令和8年（2026年）4月
著者：中島 玄人 ／ 本ページは以下の二篇の論文を収録しています。各論文は独立して読めますが、 数学的・哲学的に深く連関しており、あわせてご覧いただくことを推奨します。
東洋文化研究会 論考 令和8年4月17日 論文Ⅰ
抄 録
本稿は，統一EML（Extensional Metalogical Layer）システム $\mathrm{UEML}$ の完全な定式化を提示する。
EML体系の基本的着想は，Gödel（1931）および Tarski（1936）の制限定理を 「行き止まり」としてではなく「生成的エンジン」として把握することにある。 ある表現能力の層が自らには評価不能な命題を生み出すとき，上位層へ上昇する 行為そのものが層の境界において構造的な人工物を産出する。その人工物とは， 遷移の観点から真でありかつ下位層では証明不能であるような命題である。
本稿で確立する体系は次の四つの主要性質を同時に満たす。
Gödel（1931）の不完全性定理と Tarski（1936）の真理定義不可能性定理は， 形式的体系の限界を明示する。しかし，これらの結果は単なる否定的帰結として 解釈されるべきではない。むしろ，ある体系からより豊かな体系への上昇を要請する 「生成的エンジン」として機能する。
EML（Extensional Metalogical Layer）体系は，この直観を厳密に定式化することを 目的とする。体系 $\mathrm{Th}^{\mathrm{ax}}_n$ が評価できないGödel文 $\gamma_n$ が存在するとき，上位層 $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ へ移行することで $\gamma_n$ は評価可能となる——しかしその評価は，上位層が $\gamma_n$ の真と $\mathrm{Th}^{\mathrm{ax}}_n$ における証明不能性の確証を同時に記録するため， 一時的に矛盾許容点（グルート $\{T,F\}$）として現れる。この矛盾は単一の体系内の 論理的欠陥ではなく，層間の遷移そのものの記録である。
本稿は以下の構成をとる。
定義 2.1（FDE評価函数）
Belnap–Dunn / FDE 評価函数とは，命題変数の全体 $\mathrm{Atom}$ から $\mathcal{P}(\{T,F\})$ への函数 $\mu : \mathrm{Atom} \to \mathcal{P}(\{T,F\})$ であって， 複合式へは次の節により拡張されるものをいう：
真理値空間は $\mathcal{P}(\{T,F\}) = \{\emptyset, \{T\}, \{F\}, \{T,F\}\}$ である。 $\emptyset$ は情報なし（ギャップ），$\{T,F\}$ は矛盾情報（グルート）を表す。
定義 2.2（知識順序）
$\mathcal{P}(\{T,F\})$ 上の知識（Belnap）順序 $\leq_k$ を次で定める：
かつ $\{T\}$ と $\{F\}$ の間には順序関係を設けない。 これにより $(\mathcal{P}(\{T,F\}), \leq_k)$ は， 底元 $\emptyset$（情報なし）と頂元 $\{T,F\}$（対立情報）を 持つダイアモンド型格子をなす。
注意 2.3（二つの順序の区別）
知識順序 $\leq_k$ は論理順序 $\leq_l$ （$\emptyset \leq_l \{T\} \leq_l \{T,F\}$ かつ $\emptyset \leq_l \{F\} \leq_l \{T,F\}$）とは異なる。 意味論的精緻化（公理 3.7）は $\leq_k$ を用い， 含意関係は $\leq_l$ を用いる。
定義 2.4（パラ無矛盾性・非爆発律）
論理体系がパラ無矛盾（非爆発律を満たす）であるとは， $\phi, \neg\phi \not\models \psi$ となる $\phi, \psi$ が存在することをいう。 同値な言い換えとして，$\phi$ がグルート値 $\{T,F\}$ を持っても， すべての $\psi$ に対して $T \in \mu(\psi)$ が成立するわけではない。 FDE は定義より非爆発律を満たす。 LP（ギャップ値を禁じてFDEを制限した体系）も同様である（Priest 1979）。
定理 2.5（Lawvere 1969）
$\mathcal{C}$ をデカルト閉圏とし，$f : A \to Y^A$ を点全射とする。 このとき，すべての自己函手 $t : Y \to Y$ は不動点を持つ。
注意 2.6（Lawvere論法の正しい方向）
本稿の文脈では $\mathcal{C} = \mathbf{Set}$， $A = D_n$，$Y = \mathcal{P}(\{T,F\})$ であり， $f$ はGödel番号付けにより提供される。 補集合自己函手 $t : x \mapsto \{T,F\} \setminus x$ が不動点 $y$ （すなわち $y = \{T,F\} \setminus y$）を持つのは， $Y$ が自身の補集合と等しい要素を含む場合に限られる。 $\mathcal{P}(\{T,F\})$ においてその唯一の要素は $\{T,F\}$ 自身である： $\{T,F\}$ を「両値グルート」として解釈したとき $t(\{T,F\}) := \{T,F\}$ が不動点条件を満たす。
この解釈は選択であり，演繹ではない。 Lawvere補題が正当化するのは次のことである：四要素集合 $\mathcal{P}(\{T,F\})$ は，古典的命題と自己言及的対角命題の双方を 統一的な評価方式のもとで収容できる最小の集合という意味で特権的地位を持つ。 層境界に現れるグルート $\{T,F\}$ は，圏論的構造のみによって強制されるのでは なく，$\mathcal{P}(\{T,F\})$ を値空間として固定し対角論法を適用したときに 古典的評価の一意な整合的拡張として得られる。
以下，$T$ は PA を拡張する無矛盾な再帰的公理化可能な理論を表す。
定理 2.7（Gödel 1931）
$T$ が PA を拡張する無矛盾な再帰的公理化可能な理論ならば， ある文 $\gamma_T$ が存在して，
定理 2.8（Tarski 1936）
PA の無矛盾な拡大は，自身の真理述語を定義できない。
定義 3.1（基礎域）
理論 $\mathrm{ZFC}^+ := \mathrm{ZFC} + \text{「強到達不能基数が存在する」}$ の中で作業する。強到達不能基数 $\kappa$ を一つ固定する。 $V_\kappa$（累積的階層の $\kappa$ 段階）はグロタンディーク宇宙として $\mathrm{ZFC}^+$ の中で真の集合をなし，次の性質を持つ：
基礎域 $D_0$ を次のように固定する： $D_0$ は $V_\kappa$ の元であって PA（ないし $\mathrm{ZFC}^+$）を 満たす推移的集合とする。
注意（早期版との相違）
早期版では「$D_0 := V_\kappa$」と記していたが， $V_\kappa$ は自身の元ではないため（$V_\kappa \notin V_\kappa$）， 各 $D_\alpha \in V_\kappa$ という集合論的健全性が成立しなくなる。 本稿では $D_0 \in V_\kappa$ と適切に修正する。
定義 3.2（層ドメイン）
層ドメイン $D_\alpha$ を超限帰納法で定義する：
$D_{\alpha+1}$ は $D_\alpha$ に $D_\alpha \to D_\alpha$ のすべての函数を 追加したものである。$\kappa$ の強到達不能性より，$\alpha < \kappa$ かつ $|D_\alpha| = \lambda < \kappa$ のとき $|D_\alpha^{D_\alpha}| \leq \lambda^\lambda \leq 2^\lambda < \kappa$ となるから $D_{\alpha+1} \in V_\kappa$。超限帰納法により すべての $\alpha < \kappa$ について $D_\alpha \in V_\kappa$ が従う。
定義 3.3（言語と理論）
各順序数 $\alpha$ に対して：
$\mathrm{Th}^{\mathrm{sem}}_\alpha$ と $\mathrm{Th}^{\mathrm{ax}}_\alpha$ は決して混同しない。 $\mathrm{Th}^{\mathrm{sem}}_\alpha$ はモデル論的概念， $\mathrm{Th}^{\mathrm{ax}}_\alpha$ は証明論的概念である。
定義 3.4（統一EMLシステム）
定義 3.1 の強到達不能基数 $\kappa$ を固定する。 統一EMLシステムとは三つ組
をいう。ここで，層インデックスは $\kappa$ 未満のすべての順序数にわたり， $(D_\alpha)$ は定義 3.2 の層ドメイン， $\mathcal{P}(\{T,F\})$ はFDE真理値空間， $(v_\alpha)$ は §4 で構成する層局所評価函数の族である。
インデックスを $\alpha < \kappa$ に制限することで， 各 $D_\alpha$ およびこれらのインデックスにわたるすべての構成物は グロタンディーク宇宙 $V_\kappa$ 内の集合として存在し， 真クラスが生成されることがない。
単一の大域的写像 $v$ は存在しない；各命題 $\phi$ は $\phi \in L_\alpha$ であるとき層局所評価値 $v_\alpha(\phi)$ を持つ。
注意 3.5（知識の集合論的余極限）
階層の累積的な知識対象を余極限として定義する場合， 正しい定式化は
であり，インデックスは $\alpha < \kappa$ にわたる。 $\kappa$ が強極限基数であり各 $D_\alpha \in V_\kappa$（$\alpha < \kappa$） であるから，この余極限は $V_\kappa$ 内の集合である。 $\mathrm{Ord}$ 全体にわたる余極限をとると真クラスとなり 集合論的に扱えなくなる。
公理 3.6（ZFC基底層）
$D_0$ は古典的に PA（ないし $\mathrm{ZFC}^+$）のモデルをなす。 任意の $\phi \in L_0$ に対して， $v_0(\phi) \in \{\{T\}, \{F\}\}$（基底層での二値性）。
公理 3.7（意味論的精緻化原理）
層局所評価函数の族 $(v_\alpha)$ は知識順序について非減少である： $\phi \in L_\alpha \cap L_\beta$，$\alpha \leq \beta$ のとき，
とりわけ：
注意
公理 3.7 は，認識的四値論理における標準的な情報単調性条件である（Belnap 1977）。 上位層への移行は，命題についてより多くの情報を獲得することに対応し， すでに確立された情報は失われない。
公理 3.8（非爆発性）
評価写像はグルートのもとで自明化しない： ある $n \geq 1$ に対して $v_n(\phi) = \{T,F\}$ かつ $v_n(\psi) \neq \{T,F\}$ となる $\phi, \psi$ が存在する。
公理 3.9（階層的生成）
$D_{\alpha+1} = D_\alpha \cup D_\alpha^{D_\alpha}$（定義 3.2 参照）。
本体系の核心的革新は，内部的証明可能性述語と外部的真理述語を 厳密に記法上分離することにある。
定義 4.1（内部的証明可能性述語）
各 $\alpha$ に対して，$\mathrm{Prov}_\alpha(\cdot)$ は $\mathrm{Th}^{\mathrm{ax}}_\alpha$ の標準的な算術的証明可能性述語であり， $L_\alpha$ に形式化される。これは算術の言語において $\Sigma_1$ である。重要な性質：
定義 4.2（外部的真理述語・Tarskiジャンプ）
各 $\alpha$ に対して，$\mathrm{True}_\alpha$ は $L_\alpha$-文の Tarski真理述語であり $L_{\alpha+1}$ に形式化される。 定理 2.8 より $\mathrm{True}_\alpha \notin L_\alpha$，よって $\mathrm{True}_\alpha \in L_{\alpha+1} \setminus L_\alpha$。 任意の $\phi \in L_\alpha$ に対する基本性質：
注意
$\mathrm{Prov}_\alpha$ は $L_\alpha$ に内在する構文論的対象であり， $\mathrm{True}_\alpha$ は $L_{\alpha+1}$ においてのみ利用可能な意味論的対象である。 以下の遷移論証の各ステップでは，いずれを用いているかを明示する。
本定義は，層間遷移における「グルートの正当な発生」を証明論的に基礎付けるための 核心をなす。$\phi \in L_\beta$ に対して，その発生元層インデックスを
と定める（$\phi$ が最初に現れる層の番号）。
定義 4.3（層局所評価函数 $v_\alpha$）
$\phi \in \bigcup_{\beta \leq \alpha} L_\beta$ に対して， $\alpha_0(\phi) =: \alpha_0 \leq \alpha$ とおき， $v_\alpha(\phi) \subseteq \{T,F\}$ を T成分とF成分の独立した二条件によって定義する：
T成分（正の証拠）：
F成分（負の証拠）：
第一選言肢は $\mathrm{Th}^{\mathrm{ax}}_\alpha$ が $\phi$ の否定を 導出することを記録する。第二選言肢は $\mathrm{Th}^{\mathrm{ax}}_\alpha$ が発生元層 $\alpha_0$ における $\phi$ の証明不能性を証明論的に確証することを記録するものであり， $\mathrm{Th}^{\mathrm{ax}}_\alpha$ が $\neg\phi$ を証明できなくても 負の証拠として機能する構文論的に正当な条件である。
Gödel文 $\gamma_\alpha$（$\alpha_0 = \alpha$）については， 第一不完全性定理より $\mathrm{Th}^{\mathrm{ax}}_\alpha \not\vdash \neg\gamma_\alpha$ かつ 第二不完全性定理より $\mathrm{Th}^{\mathrm{ax}}_\alpha \not\vdash \neg\mathrm{Prov}_\alpha(\ulcorner\gamma_\alpha\urcorner)$ となるから，$v_\alpha(\gamma_\alpha) = \emptyset$（ギャップ）。
注意 4.4（二成分定義の意義）
二成分定義は $\neg\phi$ の導出可能性から負の証拠の源泉を切り離す。 体系は $\neg\phi$ を証明せずとも，$\phi$ が発生元層で証明不能である ことを知ることができる。この分離は層境界において決定的である： $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ は $\gamma_n$ の真を証明し（正の証拠）， 同時に $\mathrm{Th}^{\mathrm{ax}}_n$ における $\gamma_n$ の証明不能性を 確証し（負の証拠），しかも古典的に無矛盾であり続ける。 $\neg\mathrm{Prov}_{\alpha_0}$ 選言肢は常に $\Pi_1$ であり， PA の $\Sigma_1$-完全な拡大に対して決定可能である。
命題 4.5（各 $v_\alpha$ の修正FDE整合性）
各 $v_\alpha$ は次の意味で修正FDE評価函数である：
命題 4.6（精緻化整合性）
族 $(v_\alpha)$ は公理 3.7 を満たす： $\alpha \leq \beta$，$\phi \in L_\alpha$ のとき， $v_\alpha(\phi) \leq_k v_\beta(\phi)$。
証明
$\alpha_0 := \alpha_0(\phi) \leq \alpha \leq \beta$ とおく。 $T \in v_\alpha(\phi)$ ならば $\mathrm{Th}^{\mathrm{ax}}_\alpha \vdash \phi$。 $\mathrm{Th}^{\mathrm{ax}}_\beta \supseteq \mathrm{Th}^{\mathrm{ax}}_\alpha$ より $\mathrm{Th}^{\mathrm{ax}}_\beta \vdash \phi$，よって $T \in v_\beta(\phi)$。 F成分の両選言肢についても，拡大性により $v_\beta$ での成立が継承される。 すべての場合において $v_\alpha(\phi) \subseteq v_\beta(\phi)$ が成立し， ダイアモンド格子上の $\leq_k$ が $\subseteq$ と一致することから $v_\alpha(\phi) \leq_k v_\beta(\phi)$ を得る。 □
定義 4.7（矛盾許容点 CTP）
命題 $\phi$ が層 $\alpha$ において矛盾許容点 （contradiction tolerance point; CTP）であるとは， $v_\alpha(\phi) = \{T,F\}$ であることをいう。
定義 5.1（反射スキーマ拡大公理系）
各 $n \geq 0$ に対して，$\mathrm{Th}^{\mathrm{ax}}_{n+1}$ を次で定義する：
これは $\mathrm{Th}^{\mathrm{ax}}_n$ の整備された再帰的公理化可能な拡大である。 Feferman（1962）の分析によれば，$\mathrm{Th}^{\mathrm{ax}}_{n+1}$ は 証明論的強度において $\mathrm{Th}^{\mathrm{ax}}_n$ より真に強い。
注意 5.2
反射スキーマ $\mathrm{Rfn}(\mathrm{Th}^{\mathrm{ax}}_n)$ は $\mathrm{Th}^{\mathrm{ax}}_n$ が無矛盾であることや， $D_n$ における真理を正確に捉えることを前提としない。 単に「$\mathrm{Th}^{\mathrm{ax}}_n$ で証明可能な $L_n$-文はすべて $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ でも真として証明可能」と述べるのみである。 これは自身のGödel文を新たな公理として追加することと 証明論的強度が等しい構文論的ブートストラップ機構である（Feferman 1962）。
定義 5.3（Gödel文 $\gamma_n$）
$n \geq 0$ に対して，$\gamma_n \in L_n$ を
を満たす文とする（定理 2.7 の不動点定理による存在と導出可能性）。 定理 2.7 を $\mathrm{Th}^{\mathrm{ax}}_n$ に適用すると：
ここで発生元層インデックスは $\alpha_0(\gamma_n) = n$ である。
定理 5.4（層遷移定理）
各 $n \geq 0$ に対して：
証明
（i） 定義 5.3 より直ちに従う。
（ii） $T \in v_{n+1}(\gamma_n)$ と $F \in v_{n+1}(\gamma_n)$ をそれぞれ独立に確立する。 以下の全論証において $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ は古典的に無矛盾であり 続けることに注意する。
T成分の確立。 定義 5.3 より $\mathrm{Th}^{\mathrm{ax}}_n \not\vdash \gamma_n$， すなわち $\mathrm{Prov}_n(\ulcorner\gamma_n\urcorner)$ は標準モデル $\mathbb{N}$ において偽である。 文 $\neg\mathrm{Prov}_n(\ulcorner\gamma_n\urcorner)$ は $\Pi_1$ であり $\mathbb{N}$ で真である； $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ は PA の拡大として $\Sigma_1$-完全であるから：
$\mathrm{Th}^{\mathrm{ax}}_{n+1}$ は $\mathrm{Th}^{\mathrm{ax}}_n$ から 不動点同値式を継承するので：
したがって $\mathrm{Th}^{\mathrm{ax}}_{n+1} \vdash \gamma_n$。 定義 4.3 のT成分条件より $T \in v_{n+1}(\gamma_n)$。
F成分の確立。 $\alpha_0(\gamma_n) = n$ であるから，定義 4.3 の F成分は
T成分の確立においてすでに $\mathrm{Th}^{\mathrm{ax}}_{n+1} \vdash \neg\mathrm{Prov}_n(\ulcorner\gamma_n\urcorner)$ を示した（真の $\Pi_1$ 文の $\Sigma_1$-完全性による）。 よって第二選言肢が成立し，$F \in v_{n+1}(\gamma_n)$。
$\mathrm{Th}^{\mathrm{ax}}_{n+1}$ の古典的無矛盾性の確認。
これら二つは古典論理的に整合的である：両者は合わせて「$\gamma_n$ は真であり， $\mathrm{Th}^{\mathrm{ax}}_n$ はそれを証明できなかった」というGödel文そのものの 内容を主張するにすぎない。グルート $v_{n+1}(\gamma_n) = \{T,F\}$ は古典的に矛盾した証明体系によって 生じるのではなく，二成分評価函数が同時に記録した意味論的衝突にほかならない。 よって $v_{n+1}(\gamma_n) = \{T,F\}$。
（iii） 定義 4.2 より，$\mathrm{True}_n$ は $L_{n+1}$ において利用可能であり， $L_n$-文を意味論的理論 $\mathrm{Th}^{\mathrm{sem}}_n$ （モデル $D_n$ における真理）に照らして正確に評価する。 Gödel文 $\gamma_n$ は $D_n$ の標準モデルで真である： $\gamma_n$ は自身の $\mathrm{Th}^{\mathrm{ax}}_n$-証明不能性を主張しており， これは $\mathrm{Th}^{\mathrm{ax}}_n$ についての真の事実だからである。したがって：
T成分について：$\mathrm{Th}^{\mathrm{ax}}_{n+1}$ は $\mathrm{True}_n$ の定義と $D_n \models \gamma_n$ の事実を用いた直接的な意味論的論証によって $\mathrm{True}_n(\ulcorner\gamma_n\urcorner)$ を導出できるから， $T \in v_{n+1}(\mathrm{True}_n(\ulcorner\gamma_n\urcorner))$。 F成分について：$\mathrm{True}_n(\ulcorner\gamma_n\urcorner)$ は $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ によって証明可能であるため， $F \notin v_{n+1}(\mathrm{True}_n(\ulcorner\gamma_n\urcorner))$。 したがって $v_{n+1}(\mathrm{True}_n(\ulcorner\gamma_n\urcorner)) = \{T\}$。 □
注意 5.5（遷移の解釈）
グルート $v_{n+1}(\gamma_n) = \{T,F\}$ は， $L_{n+1}$ において利用可能な二つの視点の真の認識論的衝突を表現している：
Tarskiジャンプ $\mathrm{True}_n$ が層 $n$ の証明可能性文脈を完全に切り離し， $D_n$ における $\gamma_n$ の意味論的真のみを保持してグルートを $\{T\}$ へと 解消する。境界における矛盾はいかなる単一の体系の内部における矛盾でもなく， 遷移それ自体の記録にほかならない。
定理 5.6（層境界における対角不動点）
$e : D_n \to (D_n \to \mathcal{P}(\{T,F\}))$ を $\mathbf{Set}$ における点全射としての Gödel番号付け拡大とする。任意の自己函手 $t : \mathcal{P}(\{T,F\}) \to \mathcal{P}(\{T,F\})$ に対して， $e(\phi)(\phi) = t(e(\phi)(\phi))$ となる $\phi \in D_n$ が存在する。
証明
$A = D_n$，$Y = \mathcal{P}(\{T,F\})$，$f = e$ として 定理 2.5 を直接適用する。 □
系 5.7（不動点としてのCTP）
$t : \mathcal{P}(\{T,F\}) \to \mathcal{P}(\{T,F\})$ を $t(\emptyset) = \emptyset$，$t(\{T\}) = \{F\}$， $t(\{F\}) = \{T\}$，$t(\{T,F\}) = \{T,F\}$ （すなわち $\{T,F\}$ を固定することで拡張した古典的補集合函手） とする。定理 5.6 によって保証される不動点はグルート値 $\{T,F\}$ であり， Gödel文 $\gamma_n$ がこの不動点を証拠立てる。 $\{T,F\}$ は $t(\{T,F\}) = \{T,F\}$ を満たす唯一の要素である。
定理 6.1（保存的拡大）
任意の $\phi \in L_0$ に対して：
とりわけ，上位層のパラ無矛盾性はいかなる $L_0$-文にも影響しない。
証明
公理 3.6 より $v_0$ は二値的であり， $\mathrm{Th}^{\mathrm{ax}}_0 = \mathrm{ZFC}^+ + \text{「$D_0$ の図式」}$ における古典的導出可能性と一致する。 上位層の評価函数 $v_{n+1}$ は $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ を通じて 定義されるが，反射スキーマと $\mathrm{True}_n$ の定義は $L_0$ に存在しない記号を含む式のみを追加するため， $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ の $L_0$ 断片は $\mathrm{Th}^{\mathrm{ax}}_0$ の $L_0$ 断片に等しい。 したがって $\phi \in L_0$ に対しては，$v_0(\phi)$ はすべての層を通じて不変である。 □
補題 6.2（非汚染性）
$\mathrm{CTP}(0) = \emptyset$：$L_0$-式は層 $0$ においてグルートとならない。
証明
公理 3.6 より，任意の $\phi \in L_0$ に対して $v_0(\phi) \in \{\{T\}, \{F\}\}$。 □
定義 7.1（超限EML階層）
各順序数 $\alpha < \kappa$ に対して，$\mathrm{Th}^{\mathrm{ax}}_\alpha$ を 超限帰納法で定める：
$\alpha < \kappa$ への制限により，各公理系と各言語 $L_\alpha$ は グロタンディーク宇宙 $V_\kappa$ の要素として存在し， 階層全体を通じた集合論的整礎性が保たれる。
定理 7.2（極限層でのギャップ不在）
$\kappa$ 未満の任意の極限順序数 $\lambda$ と $\phi \in L_\lambda$ に対して， $v_\lambda(\phi) \neq \emptyset$。
証明
$\phi \in L_\lambda = \bigcup_{\alpha < \lambda} L_\alpha$ より， ある $\beta < \lambda$ が存在して $\phi \in L_\beta$。 定理 5.4(i)–(ii) を段階 $\beta$ に適用すると， $v_{\beta+1}(\phi) \geq_k \emptyset$ が strict に成立する。 意味論的精緻化原理（公理 3.7）と族 $(v_\alpha)_{\alpha<\kappa}$ の 超限単調性により $v_\lambda(\phi) \geq_k v_{\beta+1}(\phi) \neq \emptyset$。 □
定理 7.3（階層の非閉包性）
$\kappa$ 未満の任意の順序数 $\alpha$ に対して， $v_\alpha(\gamma_\alpha) = \emptyset$ となる $\gamma_\alpha \in L_\alpha$ が存在し， $D_{\alpha+1}$ の生成が強制される（$\kappa$ が極限基数であるから $\alpha+1 < \kappa$ も満たされる）。
証明
$\mathrm{Th}^{\mathrm{ax}}_\alpha$ は PA の無矛盾な再帰的公理化可能な拡大である。 定理 2.7 により $v_\alpha(\gamma_\alpha) = \emptyset$ となる $\gamma_\alpha$ の 存在が保証される。 □
命題 8.1（各層におけるFDE）
任意の $\alpha$ に対して $(L_\alpha, v_\alpha)$ は修正FDEモデルである（命題 4.5 参照）。
命題 8.2（$\omega$-層におけるLP）
$(L_\omega, v_\omega)$ はLP公理（ギャップなし，グルートは許容）を満たす。
証明
定理 7.2 を $\lambda = \omega$ に適用すると， 任意の $\phi \in L_\omega$ に対して $v_\omega(\phi) \neq \emptyset$。 グルート値 $\{T,F\}$ は定理 5.4(ii) の繰り返し適用により生じる。 □
命題 8.3（da Costaへの埋め込み）
各 da Costa 体系 $C_n$（da Costa 1974）は， 整合性演算子 $\circ_n\phi$ を $v_n(\phi) \in \{\{T\}, \{F\}\}$ に置き換えることで $(L_n, v_n)$ へ埋め込まれる。
証明
非爆発条件（公理 3.8）は $C_n$ の定義的性質に合致し， 埋め込みはすべての命題結合子を保存する。 □
表 8.1：UEML の断片としての既知の体系
| 体系 | UEMLにおける位置 | 保存される主要性質 |
|---|---|---|
| $\mathrm{ZFC}^+/\mathrm{PA}$ | $(L_0, v_0)$ | 古典的二値性 |
| da Costa $C_n$ | $(L_n, v_n)$ | 整合性演算子 |
| Priest LP | $(L_\omega, v_\omega)$ | ギャップなし，グルート許容 |
| FDE (Belnap–Dunn) | $(L_\alpha, v_\alpha)$，全 $\alpha$ | 四値行列（修正版） |
| Lawvere不動点 | 境界 $L_n/L_{n+1}$ | 対角自己言及 |
定理 9.1（統一EML主定理）
システム $\mathrm{UEML}$ は次を満たす：
証明
各項は対応する定理，公理，または命題を引用することで確立される。□
注意 10.1（グルートの本性について）
グルート $v_{n+1}(\gamma_n) = \{T,F\}$ は， $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ が古典的に矛盾しているために生じるのではない—— $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ は無矛盾である——。 これは，二成分評価函数 $v_{n+1}$ が同時に証明可能かつ相互に整合的な 二つの事実を記録するためである： 「$\gamma_n$ は上位層から見て真である」かつ 「旧体系は $\gamma_n$ に到達できなかったという事実を $\mathrm{Th}^{\mathrm{ax}}_{n+1}$ が確証する」。 グルートは論理的病理の徴候ではなく，層間の遷移の記録という意味論的衝突の産物である。
Tarskiジャンプ $\mathrm{True}_n$ は，$\gamma_n$ のいかなる証明可能性文脈からも 独立して $D_n$ における $\gamma_n$ の意味論的真に訴えることで， 同一の層においてグルートを解消し， $v_{n+1}(\mathrm{True}_n(\ulcorner\gamma_n\urcorner)) = \{T\}$ を与える。
注意 10.2（到達不能基数の仮定について）
$\exists\kappa\,(\kappa\text{ は到達不能})$ という仮定は， 圏論的基礎論（グロタンディーク宇宙）において標準的であり， 特別に強い仮定ではない（Aczel 1988）。 この仮定は ZFC の無矛盾性を含意するが， 一階算術の文については ZFC 上保存的である。 Scott–Potter集合論と反射を用いた代替定式化により この仮定さえ回避することも可能だが， 記法の複雑さが増すため，その変種については将来の研究課題とする。
注意 10.3（今後の研究方向）
三つの拡張が自然に考えられる。
東洋文化研究会 論考 令和8年4月15日 論文Ⅱ
抄 録
Odrzywołek（2026）は，単一の二項演算子 $\mathrm{eml}(x,y) = \exp(x) - \ln(y)$ と定数 $1$ のみから， 科学計算機が扱う全初等関数を構成的に導出できることを示した。 本稿はこの結果を出発点として，三つの方向への拡張を試みる。 第一に，EML体系をMartin–Löf直観主義型理論（MLTT）の枠組みで再定式化し， 宇宙階層 $\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots$ を導入することで 「EML式の全体」という対象の存在論的地位を型論的に精確に定める。 第二に，EMLが生成しうる対象の総体 $\mathcal{U}_{\mathrm{EML}}$ を 真クラス（proper class）として定位し，これがZFC集合論における単純な集合として 扱えない理由を示す。第三に，この構造的分析を通じて得られた四層図式 （無極・太極・陰陽・万物）が，周敦頤の宇宙生成論，西田幾多郎の 「絶対矛盾的自己同一」，およびMLTT宇宙階層の三者と構造的に同型であることを論じる。 本稿の主張は，いずれも比喩的類比にとどまらず，各概念の形式的定義に基づく 構造的対応として提示される。
デジタル回路においては，単一の二入力ゲートNAND（Sheffer 1913）が 全ブール論理を生成するという事実は古くから知られている。 これに対応する連続数学の基本演算が存在するかどうかは長らく未解決であったが， Odrzywołekは2026年の論文において，この問いに対する肯定的な答えを提出した。
その基本演算は次のように定義される：
この演算子と定数 $1$ のみから，$\sin, \cos, \sqrt{\phantom{x}}, \pi, i, e$ を含む 全初等関数が，文法 $S \to 1 \mid \mathrm{eml}(S,S)$ に従う有限の二分木として 構成的に表現できる。Odrzywołekはこれを「連続数学のSheffer元」と呼んでいる。
本稿はこの体系に対して三つの問いを立てる。
問い1（型論的地位）： 「EMLで生成可能な全式の総体」という対象を，矛盾なく数学的に扱うにはいかなる枠組みが必要か。
問い2（真クラス問題）： この総体を集合として扱おうとすると何が問題となり，それを真クラスとして 定位することでどのように解消されるか。
問い3（哲学的統合）： 上記の型論的構造は，周敦頤の無極論，西田幾多郎の「絶対矛盾的自己同一」， および易の陰陽生成論と，いかなる構造的関係にあるか。
Martin–Löf直観主義型理論（MLTT）は，1972年にPer Martin–Löfが提唱した 構成的数学の基礎体系である。MLTTの特徴は，命題と型を同一視するCurry–Howard対応にあり， 証明は型の要素（項）として構成的に与えられる。
MLTTの初期版（MLTT71）は「型の型」を許す規則 $\mathsf{Type} : \mathsf{Type}$ を持っていたが， Jean-Yves Girardはこれが矛盾を生む（Girardのパラドックス）ことを示した。 これはちょうど，集合論においてすべての集合の集合を許すと Russellのパラドックスが生じるのと構造的に類比的である。
この問題を解決するために，Martin–Löfは1975年の論文において宇宙 $\mathsf{U}$ を 導入し，宇宙は自分自身を要素として含まないよう制限した。 さらにMLTT73では宇宙の無限階層が導入された：
定義 2.1（宇宙階層）
MLTTにおける宇宙の累積的階層とは，型の列 $\{\mathcal{U}_i\}_{i \in \mathbb{N}}$ であって以下を満たすものである：
Palmgren（1998）はこの宇宙階層の概念を拡張し，超宇宙（superuniverse）を導入した。 超宇宙は集合論における到達不可能基数と類比的であり， 型理論における「大きな全体」を扱う手段を提供する。
宇宙階層の実践的意義は，宇宙多形性（universe polymorphism）にある。 任意のレベル $\ell$ に対して定義される型は，より高いレベルでも自動的に有効となる。 AgdaやCoq（Rocq）はこの機構を実装している。
定理 2.2（Girardのパラドックス回避）
宇宙階層 $\mathcal{U}_0 : \mathcal{U}_1 : \cdots$ を採用し， 各宇宙が条件（iii）を満たすとき，「型の型」による自己言及的矛盾は生じない。
$\mathcal{U}_i : \mathcal{U}_{i+1}$ であるから，$\mathcal{U}_i$ について 話すとき，私たちは常に $\mathcal{U}_{i+1}$ 以上のレベルにいる。 $\mathcal{U}_i \notin \mathcal{U}_i$ により，宇宙が自分自身の要素となる循環は 禁じられる（Nordström・Petersson・Smith 1990 参照）。
Odrzywołekの文法 $S \to 1 \mid \mathrm{eml}(S,S)$ をMLTTの枠組みで再定式化する。 まず，複素数体 $\mathbb{C}$ を型として定める。論文が明示するように， emlは $\pi$ や $i$ の生成に $\ln(-1)$ を要するため， 複素数域での演算が不可欠である。
定義 3.1（EML型）
宇宙 $\mathcal{U}_0$ において，帰納型 $\mathrm{Expr}$ を以下の構成子で定める：
この帰納型は $\mathcal{U}_0 : \mathcal{U}_1$ を満たす。すなわち $\mathrm{Expr}$ は $\mathcal{U}_0$ に属する型であり， $\mathcal{U}_0$ 自体は $\mathcal{U}_1$ の要素である。
次に，EML式の意味論として評価関数 $\mathrm{eval}$ を定める：
定理 3.2（EML完全性，MLTT版）
任意の初等関数 $f : \mathbb{C}^n \to \mathbb{C}$ （ただし $f$ は Odrzywołek の Table 1 が定める36個の基本関数のいずれか） に対して，$\mathrm{Expr}$ の項 $e$ が存在し， $\mathrm{eval}(e) \equiv f$ が計算的に等しい。
証明：Odrzywołek（2026）§3 の構成的証明による。 各関数の表現式はAgdaプログラムに相当する有限の $\mathrm{Expr}$ 項として与えられる。
定数 $1$（構成子 $\mathrm{one}$）の型論的地位は特殊である。 $\ln(1) = 0$ であることから，$\mathrm{one}$ は $\mathrm{eml}(x, \mathrm{one}) = \exp(x) - 0 = \exp(x)$ という中性化作用を持つ。これは帰納型における「基底ケース」（base case）に対応し， 再帰の停止条件を与える。
命題 3.3（$\mathrm{one}$ は計算的零元）
$\mathrm{eval}$ の定義において，$\mathrm{one}$ は対数項を消去する役割を担う中性元であり， この性質なしに $\exp$ の独立した生成は不可能である。
$\mathrm{eml}(x,y) \neq \mathrm{eml}(y,x)$ という非対称性は， MLTTの依存型として自然に捉えられる。$\mathrm{eml}$ の第一引数は $\exp$ によって扱われ（拡張的・発散的方向），第二引数は $-\ln$ によって 扱われる（収束的・制約的方向）。この役割の非対称性は，依存型 $\Pi_{(x:\mathrm{Expr})}(\mathrm{Expr} \to \mathrm{Expr})$ として型付けられる際に， 二つの引数位置が構造的に区別されることに対応する。
§3で定義した $\mathrm{Expr}$ は $\mathcal{U}_0$ に属する帰納型である。 $\mathrm{Expr}$ 自体は有限の二分木の（可算無限個の）集合として問題なく扱える。 しかし，ここで問題となるのは「EMLが意味論的に到達しうる全対象の総体」という概念である。
定義 4.1（$\mathcal{U}_{\mathrm{EML}}$）
$\mathcal{U}_{\mathrm{EML}}$ を，すべての $e \in \mathrm{Expr}$ に対して $\mathrm{eval}(e)$ が何らかの複素数値を与えることで意味論的に到達可能な 全対象の総体として定義する：
ただし，$\mathrm{eval}$ の値域は複素数 $\mathbb{C}$ にとどまらず， $\mathrm{eval}$ が生成しうる関数，高階函数，さらにはその関数の関数……という 全体を含む，より広い概念として理解する。
定理 4.2（$\mathcal{U}_{\mathrm{EML}}$ は集合でない）
$\mathcal{U}_{\mathrm{EML}}$ を ZFC の集合として扱うことはできない。 すなわち，$\mathcal{U}_{\mathrm{EML}}$ は真クラス（proper class）である。
証明概略
EML体系が生成できる関数には，$f : \mathbb{C} \to \mathbb{C}$ にとどまらず， その関数の関数，さらにその関数……という超限的な階層が含まれる。 もし $\mathcal{U}_{\mathrm{EML}}$ が集合ならば， カントールの対角論法の類比により， $\mathcal{U}_{\mathrm{EML}}$ に属さない対象を構成的に構築でき，矛盾が生じる。 より厳密には，定義 3.1 の帰納型 $\mathrm{Expr}$ が宇宙階層 $\mathcal{U}_0 : \mathcal{U}_1 : \cdots$ の各段階に新たな対象を生成し， Girard のパラドックスの型論的類比が生じる（§5.4 参照）。 □
周敦頤（1017–1073）は『太極図説』の冒頭に「無極にして太極」（無極而太極）と記した。 この命題は長く論争の的となってきたが，本稿では次のように解釈する： 「無極」は太極（世界生成の根源的動力）が集合論的な「集合」ではなく， すべての存在の場（場所）として機能することを示す。
命題 4.3（無極 ＝ 真クラスとしての $\mathcal{U}_{\mathrm{EML}}$）
「無極」の形式的性格と $\mathcal{U}_{\mathrm{EML}}$ の形式的性格は， 次の三点において構造的に対応する：
以下の表 5.1 は，四つの体系における四層対応を示す。
| 層 | EML体系 | MLTT | 周敦頤（易） | 西田哲学 |
|---|---|---|---|---|
| 第四層（全体） | $\mathcal{U}_{\mathrm{EML}}$（真クラス） | 宇宙全体（集合化不可能） | 無極（限定不可能な全体） | 絶対無（場所の場所） |
| 第三層（生成演算子） | $\mathrm{eml}(x,y) = \exp(x) - \ln(y)$ | $\mathcal{U}_i : \mathcal{U}_{i+1}$ の段階的上昇 | 太極（陰陽を生む動力） | 絶対矛盾的自己同一 |
| 第二層（双対対） | $\exp$（拡散）と $-\ln$（収束） | $\Pi$-型（全称）と $\Sigma$-型（存在） | 陰陽（対立的双対） | 主語面と述語面 |
| 第一層（個別項） | $\mathrm{Expr}$ の有限項 | $\mathcal{U}_0$ の型の要素（項） | 万物（個別的存在） | 個物（場所に基づく存在） |
表 5.1：四体系における四層対応図式
表 5.1 の対応が単なる比喩ではなく，構造的なものであることを， 三つの形式的パターンの共有によって示す。
パターン1（最小生成元の存在）： EMLでは定数 $1$（$\mathrm{one}$）が最小生成元である。 MLTTでは $\mathcal{U}_0$ が基底宇宙である。 易では太一（太極の別名）が万物の根源とされる。 西田哲学では「絶対的一者」が場所の根拠をなす。 各体系は，すべての構成物がそこから生成される「始原」を持つ。
パターン2（非対称双対性の普遍性）： $\mathrm{eml}(x,y) = \exp(x) - \ln(y)$ の非対称性は， 第一引数が「拡張・展開」を，第二引数が「収束・限定」を担うという 役割の非対称性に基づく。 MLTTでは $\Pi$-型（全称，普遍的）と $\Sigma$-型（存在，特殊的）の非対称性がある。 陰陽論では，陰（静・収束）と陽（動・展開）は対等ではなく， 「動而生陽，静而生陰」（周敦頤『通書』）というように，動が先行する。
パターン3（全体の不可対象化）： $\mathcal{U}_{\mathrm{EML}}$ は真クラスであり，集合として対象化できない（定理 4.2）。 MLTT宇宙の全体 $\bigcup_{i \in \mathbb{N}} \mathcal{U}_i$ も集合化不可能である （定理 2.2，Girardのパラドックス）。 無極は「極（点）」を持たず，中国哲学において伝統的に「言語で捉えられない」とされる。 西田の「絶対無」は，有（存在）の場所であるがゆえに， それ自体は有の論理によって捉えられない。
西田幾多郎（1939）の概念「絶対矛盾的自己同一」は， 「矛盾対立するものが，その矛盾の形においてかえって一つになる」という逆説的な 統一の原理を指す。西田はこれを「場所の論理」の核心と位置付けた。
EML体系との対応は次のように読むことができる：
命題 5.1（「絶対矛盾的自己同一」のEML解釈）
$\mathrm{eml}(x,y) = \exp(x) - \ln(y)$ において：
西田の「絶対矛盾的自己同一」は，対立する二者の弁証法的統合ではなく， 対立そのものの場所（Ort）が対立を可能にするという論理である。 $\mathcal{U}_{\mathrm{EML}}$ はこの「場所」の数学的定式化として機能する。
§4 で述べた「$\mathcal{U}_{\mathrm{EML}}$ は真クラスである」という主張は， 歴史上知られている二つの自己言及的パラドックスと深く連関している。
ラッセルのパラドックス（ZFC）： 「自分自身を含まない集合の全体 $\{x : x \notin x\}$」は集合でない。 これを回避するために ZFC は正則性公理を採用し， 「全ての集合の集合」を真クラスとして扱う。
Girardのパラドックス（MLTT）： $\mathsf{Type} : \mathsf{Type}$ を許すと矛盾が生じる（Girard 1972）。 これを回避するために宇宙階層 $\mathcal{U}_0 : \mathcal{U}_1 : \cdots$ が導入される。
| 体系 | 自己包含問題 | 解決策 | 哲学的対応 |
|---|---|---|---|
| ZFC集合論 | すべての集合の集合 $V$ | 真クラス（von Neumann階層） | 無極（限定不可能な全体） |
| MLTT（Girard） | $\mathsf{Type} : \mathsf{Type}$ | 宇宙階層 $\mathcal{U}_0 : \mathcal{U}_1$ | 無極（全宇宙は集合化不可） |
| EML体系 | $\mathcal{U}_{\mathrm{EML}}$ が集合でない | 真クラスとしての $\mathcal{U}_{\mathrm{EML}}$ | 無極（生成の全体は生成不可） |
| 周敦頤（易） | 無極が「物」として存在できない | 「無極にして太極」（逆説的定式化） | 無極（すべての物の場所） |
| 西田幾多郎 | 「場所」が一般の述語では語れない | 「絶対無」の場所論理 | 場所（絶対無） |
表 5.2：各体系における「全体の自己包含問題」と解決策
三つの数学的・論理的解決策（真クラス，宇宙階層，真クラスとしての $\mathcal{U}_{\mathrm{EML}}$）は，形式的には同一の原理—— 「全体は自分自身の要素にはなれない」——を異なる枠組みで実装したものである。 そして「無極」と「絶対無」はこの原理の哲学的直観として， 東洋思想において独立に発見されていたと解釈できる。
Odrzywołek（2026）の論文は構成的数学の立場から， 個々の初等関数の表現可能性を論じる。本稿が追加する層は二つある。
存在論的層：「EMLで生成可能な全対象の総体 $\mathcal{U}_{\mathrm{EML}}$ の存在論的地位は何か」という問い。本稿はこれを真クラスとして定位し， Odrzywołekの完全性定理（各個別関数の表現可能性）と矛盾しない形で 「全体の不可対象化」を定式化した。
型論的層：EML文法をMLTTの帰納型 $\mathrm{Expr} : \mathcal{U}_0$ として 再定式化することで，Agda等の証明支援系における形式検証の可能性を開く。 定理 3.2 は原理的にAgdaで形式証明可能な命題として再定式化できる。
課題1（圏論的定式化）：表 5.1 の四層対応を圏論的に精確化すること。 具体的には，EML式の圏・MLTT型の圏・易の変化の圏の間に関手（functor）を構成し， 「構造的同型」を射の存在として証明することが目標となる。 この方向は論文Ⅰ 注意 10.3（2）「圏論的定式化」とも連動する。
課題2（形式検証）：定義 3.1 と定理 3.2 をAgdaまたはCoqで実装し， 完全性定理の一部を機械的に検証すること。 これによりEML体系の数学的基礎が型論的に確立される。
課題3（西田論理の形式化）：西田の「場所の論理」を依存型理論の枠組みで 再構成する試みは萌芽的段階にある。「場所」を文脈（context） $\Gamma$ として， 「絶対矛盾的自己同一」を $\Gamma \vdash \Gamma\ \mathrm{type}$ として解釈する方向が 考えられるが，これはGirardのパラドックスと同型の問題を再び招くことになる。 この循環をいかに型論的に解消するかが核心的課題である。
課題4（三項EMLの研究）：Odrzywołekは論文末尾で 「定数を必要としない三項EML変種」の存在を示唆している。 この三項演算子は，易の三爻（三本の爻が八卦を構成する）との対応において， 本稿の図式をより精密化する可能性がある。
本稿は異なる文化的・歴史的文脈で生まれた概念体系の間に構造的対応を 見出すことを試みた。この試みの正当性と限界について明示的に述べておく必要がある。
正当性：表 5.1 の各対応は，各体系の内部における形式的定義に基づく。 「無極＝真クラス」は比喩ではなく， 「両者が共有する形式的性格（集合でない全体・操作の対象にならない・しかし全対象を含む場所）」 に基づく構造的対応として提示されている。
限界：西田哲学や易の体系は本来，形式的定義ではなく 洞察的・実践的文脈で理解されるものである。本稿の形式化は， これらの体系の一側面を数学的に照らすものであり， それらの全体を捕捉するものではない。形式化によって失われるものへの感受性を 保持することもまた，誠実な学術的態度として求められる。
本稿は以下の三点を示した。
第一に，EML体系をMLTT帰納型 $\mathrm{Expr} : \mathcal{U}_0$ として再定式化することで， Odrzywołekの構成的完全性定理を型論的枠組みで表現できる。定数 $1$ は帰納型の 基底ケース（$\mathrm{one} : \mathrm{Expr}$）として，$\mathrm{eml}$ は再帰的構成子として 自然に解釈される。
第二に，「EMLで意味論的に到達可能な全対象の総体 $\mathcal{U}_{\mathrm{EML}}$」は 集合ではなく真クラスであり，これは周敦頤の「無極」の数学的定式化として機能する。 この定位はOdrzywołekの完全性定理（各個別関数の表現可能性）と矛盾せず， むしろ体系の存在論的基盤を明確化する。
第三に，無極（真クラス）・太極（$\mathrm{eml}$ 演算子）・陰陽（$\exp/-\ln$ 双対）・ 万物（$\mathrm{Expr}$ の項）という四層図式が，MLTT宇宙階層・西田の 「絶対矛盾的自己同一」・易の陰陽八卦生成論において構造的に共鳴する。 この収束は，生成的構造の形式的普遍性——最小生成元，非対称双対性，再帰的展開， 全体の不可対象化——が，数学的・哲学的・東洋宇宙論的文脈を横断して 独立に発見されてきたことを示唆する。
これらの知見は，Odrzywołek論文が開いた地平に「存在論的層」と 「哲学的連関」という二つの次元を付加するものである。