從公理到子理

——無限擴充數學的知識階層

英文題名： From Axioms to Subprinciples: The Knowledge Hierarchy of Infinitely Extensible Mathematics
文件編號： EML-DFPM-2026-S03-v0.1
作者： Neo.K（許筌崴）with Aletheia（GPT-5.6 Thinking）
機構： 一言諾科技有限公司／EveMissLab
日期： 2026 年 7 月 27 日
版本： v0.1
文件性質： 數學哲學母稿／知識階層論／動態理論治理草案
系列地位： 「動態不動點數學奠基系列」第三篇
前置文件：

《動態不動點數學宣言：為後人類、AI與多智能長時間尺度而設計的數學》
《唯一虛擬錨點：動態不動點公理與單錨點數學》
《帳本因果數學與數學因果帳本》
《數學普適性與共識性的個人命題》

理論地位： 動態不動點數學之子理體系奠基稿；尚非完整形式分類標準或自動治理協議

摘要

本文提出動態不動點數學中的「子理」概念，並建立第一代無限擴充知識階層。動態不動點數學僅保留一個虛擬母錨點：

\boxed{ \text{變又不變，不變又變。} }

除這一母錨點外，傳統上被稱為公理、定理、定義、模型、證明規則、算法、觀察規律、語義框架與驗證制度的所有其他數學成分，均可重新理解為特定條件、特定域、特定版本與特定歷史階段中的「子理」。

本文所稱子理，不是較弱的定理，也不是被任意降格的知識。子理是一種具有適用域、成立條件、來源、版本、依賴、證書、失敗邊界與未清債務的數學結構。它可以高度穩定、極度普適，甚至在長歷史中被大多數數學共同體採用；但它不能因此獲得永久不可修改的最高地位。

本文提出子理的八維描述：

S_i = ( \operatorname{Dom}_i, \operatorname{Cond}_i, \operatorname{Sem}_i, \operatorname{Prov}_i, \operatorname{Dep}_i, \operatorname{Cert}_i, \operatorname{Ver}_i, \operatorname{Debt}_i ).

並將子理區分為本體子理、結構子理、操作子理、證明子理、觀測子理、轉譯子理、治理子理與元子理。本文進一步提出子理生命週期：生成、接入、局部穩定、擴張、衝突、分裂、合流、限制、退化、淘汰、保存與重新激活。

為避免子理體系退化成任意知識堆積，本文提出四項基本要求：域明示、條件明示、來源明示與失敗明示。任何子理若不能說明自己在哪裡成立、依賴什麼、如何驗證、何處失效，就不能被視為成熟子理。不同子理之間的衝突，不必立即透過單一最高公理強制裁決；它們可以先被定位為域衝突、條件衝突、語義衝突、版本衝突、觀察者衝突或真正不可相容衝突。

本文主張，動態不動點數學的知識結構不應是單一樹，而應是一個可版本化、有向、有型別、可分支與可重連的超圖。子理之間可以具有支持、依賴、限制、轉譯、反例、吸收、覆蓋、競爭與不可比較等多種關係。由此，數學不再只是由公理向定理單向演繹的樹狀體系，而是一個持續演化的多層因果網絡。

本文最後指出，子理無限擴充不是要求無限保存全部內容而不做壓縮，而是要求任何壓縮、淘汰與重構都保留足以重建演化責任的歷史帳本。未來AI與後人類的核心任務，不只是生成更多定理，而是維護一個可以持續修正、分歧、重連與重放的子理生態。

關鍵詞： 子理、動態不動點數學、知識階層、無限擴充數學、子理生命週期、理論衝突、理論分裂、理論合流、數學超圖、後人類數學

0. 核心命題

本文提出：

除動態不動點這一虛擬母錨點之外，所有數學公理、定理、定義、模型、方法、證明制度與現象描述，均應被理解為具有適用域、成立條件、版本與失敗邊界的子理。子理可以極度穩定，卻不得因此被永久提升為不可修正的終極基礎。

因此，動態不動點數學的整體知識結構不是：

\text{最高公理} \Rightarrow \text{全部定理}.

而是：

\boxed{ \text{一個虛擬母錨點} + \text{無限子理} + \text{無限現象} + \text{無限關係} + \text{持續修正}. }

1. 為什麼需要「子理」這個層級

1.1 傳統公理的雙重角色

在局部形式系統中，公理具有必要功能：

固定起點；
限定可接受對象；
規定推理規則；
建立可判定邊界；
使證明得以展開。

但當某套局部公理被提升為數學整體的唯一永久起點時，它同時承擔了另一種角色：

\text{局部形式基礎} \longrightarrow \text{全域本體宣告}.

這個跳躍常常沒有被明示。

1.2 子理不是否定公理

將公理重新定位為子理，不表示否定其有效性。

例如，一個形式系統 $T$ 仍可寫成：

T = ( \mathcal L_T, \mathcal A_T, \mathcal R_T ).

其中 $\mathcal A_T$ 仍是該系統內的公理集合。

但從動態不動點數學的上位視角看：

\mathcal A_T \subseteq \mathfrak S,

其中 $\mathfrak S$ 是全部子理的演化網絡。

所以：

\boxed{ \text{公理在局部系統內仍是公理，} \quad \text{在數學整體中則是子理。} }

1.3 子理是一種責任化知識

子理的核心不在於它比公理更弱，而在於它必須回答：

在哪裡成立；
在什麼條件下成立；
由何而來；
依賴什麼；
如何驗證；
何處失效；
與哪些子理相容；
哪些債務尚未清償。

所以，子理是一種被放回因果、歷史與適用域中的數學知識。

2. 子理的第一代定義

2.1 基本八元組

定義一個子理：

S_i = ( \operatorname{Dom}_i, \operatorname{Cond}_i, \operatorname{Sem}_i, \operatorname{Prov}_i, \operatorname{Dep}_i, \operatorname{Cert}_i, \operatorname{Ver}_i, \operatorname{Debt}_i ).

其中：

$\operatorname{Dom}_i$ ：適用域；
$\operatorname{Cond}_i$ ：成立條件；
$\operatorname{Sem}_i$ ：語義與對象解釋；
$\operatorname{Prov}_i$ ：來源與歷史；
$\operatorname{Dep}_i$ ：依賴與前置子理；
$\operatorname{Cert}_i$ ：證明、證書或支持；
$\operatorname{Ver}_i$ ：版本與演化狀態；
$\operatorname{Debt}_i$ ：未解問題、失敗邊界與未清責任。

2.2 子理不必是命題句

子理可以是：

一條公理；
一個定義；
一個定理；
一個猜想；
一個模型；
一個算法；
一個證明規則；
一個語義；
一個驗證器；
一個轉譯方法；
一個數值邊界；
一個觀測規律；
一個理論治理原則。

因此，子理的型別必須被明示：

\operatorname{Type}(S_i) \in \mathcal T_S.

2.3 子理的成立不是單一真值

對命題型子理，可以有：

\operatorname{True}(S_i)=1.

但對其他型別，成立可能表示：

定義是否一致；
算法是否終止；
轉譯是否保語義；
模型是否擬合指定現象；
驗證器是否滿足規格；
治理規則是否能維持可追溯性。

所以更一般地：

\operatorname{Valid}_{\mathfrak A}(S_i)=1

表示子理 $S_i$ 在判定域 $\mathfrak A$ 中有效。

2.4 相對有效性

同一子理可以在不同域中具有不同狀態：

\operatorname{Valid}_{\mathfrak A}(S_i)=1,

但：

\operatorname{Valid}_{\mathfrak B}(S_i)=0.

這不自動產生矛盾，因為：

\mathfrak A\neq\mathfrak B.

真正的問題是是否明示了域差異。

3. 子理的八種基本類型

3.1 本體子理

本體子理回答：

什麼存在；
什麼可作為數學對象；
什麼算作同一對象；
對象如何被構造。

例如：

S^{\mathrm{ont}}_i.

集合、型別、範疇、圖、張量、算子與其他對象制度，都可以形成不同本體子理。

3.2 結構子理

結構子理描述對象之間的關係：

群結構；
拓撲；
序；
度量；
因果圖；
纖維；
對稱；
層級。

記為：

S^{\mathrm{str}}_i.

3.3 操作子理

操作子理規定可接受的變換：

加法；
積分；
微分；
遞歸；
壓縮；
展開；
連接；
投影；
重寫；
生成。

記為：

S^{\mathrm{op}}_i.

3.4 證明子理

證明子理規定：

何謂合法推導；
何謂證書；
哪些規則可接受；
哪些外部計算可被引用；
如何處理自動化工具。

記為：

S^{\mathrm{proof}}_i.

3.5 觀測子理

觀測子理處理：

哪些現象可被觀察；
觀察如何映射為數學對象；
測量誤差如何處理；
不同觀察者如何比較。

記為：

S^{\mathrm{obs}}_i.

3.6 轉譯子理

轉譯子理負責：

語言之間的轉換；
基礎系統之間的編譯；
模型與模型之間的映射；
人類與AI表示之間的對應；
語義損失的記錄。

記為：

S^{\mathrm{trans}}_i.

3.7 治理子理

治理子理規定：

版本如何接受；
衝突如何保存；
分支如何建立；
錯誤如何回退；
權限如何分配；
哪些修改需要多方驗證。

記為：

S^{\mathrm{gov}}_i.

3.8 元子理

元子理研究其他子理：

子理分類；
子理關係；
有效性；
演化速度；
分裂與合流；
子理淘汰；
母錨點漂移。

記為：

S^{\mathrm{meta}}_i.

4. 子理的知識階層

4.1 不是固定金字塔

傳統知識階層容易寫成：

\text{公理} \rightarrow \text{定理} \rightarrow \text{推論} \rightarrow \text{應用}.

這是一種單向樹狀結構。

動態不動點數學中的子理更接近：

\mathfrak G_t = ( \mathfrak S_t, \mathfrak R_t ),

其中：

$\mathfrak S_t$ ：第 $t$ 階段的子理集合；
$\mathfrak R_t$ ：子理之間的有型別關係。

4.2 關係型別

子理之間至少可以存在：

\mathfrak R_t = \{ \operatorname{support}, \operatorname{depend}, \operatorname{restrict}, \operatorname{translate}, \operatorname{refute}, \operatorname{absorb}, \operatorname{cover}, \operatorname{compete}, \operatorname{generalize}, \operatorname{specialize}, \operatorname{incomparable} \}.

因此，數學知識不是單純的上下級，而是多方向關係網絡。

4.3 局部階層

在特定域中，可以有：

S_a \prec_{\mathfrak A} S_b,

表示在判定域 $\mathfrak A$ 中， $S_a$ 是 $S_b$ 的前置、特殊情形或較低層結構。

但換一個域後，關係可能改變：

S_a \not\prec_{\mathfrak B} S_b.

所以階層本身也必須標記適用域。

4.4 多中心知識結構

子理網絡可以同時具有多個局部中心：

C_1,C_2,\ldots,C_n.

例如某個子理在代數域是核心，在幾何域只是接口，在計算域則可能完全不重要。

因此，不存在一個永久單一中心必須支配全部數學。

5. 子理生命週期

5.1 生成

子理可以由以下來源生成：

新現象；
舊理論衝突；
形式化需求；
新計算工具；
新智能視角；
舊子理重新組合；
反例；
工程失敗。

記為：

\operatorname{Birth}(S_i).

5.2 接入

新子理不能只被寫出，還要接入既有網絡：

S_i \hookrightarrow \mathfrak G_t.

接入至少需要：

型別；
來源；
域；
條件；
依賴；
初始驗證狀態。

5.3 局部穩定

當一個子理在指定域中被多次重放、驗證與使用，可進入局部穩定狀態：

\operatorname{Stable}_{\mathfrak A}(S_i)=1.

局部穩定不等於終極真理。

5.4 擴張

子理可能擴大適用域：

\operatorname{Dom}_i^{(t)} \subset \operatorname{Dom}_i^{(t+1)}.

但每次擴張都需要新證明責任。

5.5 衝突

兩個子理可能滿足：

S_i \perp S_j.

衝突可能來自不同原因，不應立即視為真正矛盾。

5.6 分裂

一個子理可能因域或條件差異分裂：

S_i \longrightarrow \{ S_{i,\alpha}, S_{i,\beta} \}.

分裂通常比強行維持模糊統一更誠實。

5.7 合流

不同子理也可能在更高結構中合流：

S_i\oplus S_j \longrightarrow S_k.

合流不要求刪除原分支。

5.8 限制

若子理被發現只在較小域成立：

\operatorname{Dom}_i^{(t+1)} \subset \operatorname{Dom}_i^{(t)}.

這不一定是失敗，而是精確化。

5.9 退化

子理可能被證明是另一子理的特殊情形：

S_i = S_j \big|_{\mathfrak A}.

此時 $S_i$ 可以保留為可讀接口或歷史形式。

5.10 淘汰

子理可能因錯誤、冗餘或不可維護而退出主動網絡：

\operatorname{Active}(S_i)=0.

但淘汰不等於無痕刪除。

5.11 保存

被淘汰子理應保存：

原始版本；
當時理由；
失效原因；
影響範圍；
替代子理；
可能重新激活條件。

5.12 重新激活

歷史子理可能在新域、新工具或新智能下重新獲得價值：

\operatorname{Reactivate}_{\mathfrak B}(S_i)=1.

6. 子理狀態不是二元真偽

6.1 第一代狀態集合

子理可以具有以下狀態：

\operatorname{Status}(S_i) \in \{ \text{候選}, \text{局部有效}, \text{穩定}, \text{受限}, \text{衝突}, \text{分裂}, \text{退化}, \text{淘汰}, \text{封存}, \text{重新激活} \}.

6.2 真值與生命狀態不同

一條命題可以是真，但已不再作為主動研究接口。

一個模型可以不完全真，卻在指定誤差範圍內極其有效。

一個錯誤猜想可以是數學史上重要的生成節點。

所以：

\operatorname{Truth}(S_i) \neq \operatorname{Status}(S_i).

6.3 多維評價

子理可以具有評價向量：

\mathbf q_i = ( q_{\mathrm{truth}}, q_{\mathrm{proof}}, q_{\mathrm{replay}}, q_{\mathrm{scope}}, q_{\mathrm{utility}}, q_{\mathrm{connect}}, q_{\mathrm{stability}} ).

不同子理不必被壓縮成單一總分。

7. 子理衝突的分類

7.1 域衝突

兩個子理在不同域中成立，卻被誤認為同域競爭：

\operatorname{Dom}_i \cap \operatorname{Dom}_j = \varnothing.

此時不構成真正矛盾。

7.2 條件衝突

兩子理的前置條件不同：

\operatorname{Cond}_i \neq \operatorname{Cond}_j.

若條件未明示，會產生假衝突。

7.3 語義衝突

相同符號在不同子理中表示不同對象：

\operatorname{Sem}_i(x) \neq \operatorname{Sem}_j(x).

7.4 版本衝突

兩個版本對同一子理採取不同定義或資料：

S_i^{(v_1)} \neq S_i^{(v_2)}.

7.5 觀察者衝突

不同智能或工具具有不同可見範圍：

\operatorname{Obs}_{I_a}(S_i) \neq \operatorname{Obs}_{I_b}(S_i).

7.6 驗證衝突

不同驗證器對同一證書給出不同結果：

V_a(S_i,C_i) \neq V_b(S_i,C_i).

這會生成共識失配債務。

7.7 真正不可相容衝突

若域、條件、語義、版本與驗證差異都已對齊，仍有：

S_i \land S_j \vdash \bot,

則構成真正不可相容衝突。

動態不動點數學不要求立刻消滅其中一方，而可以保存分支，直到獲得更高層處理方式。

8. 分裂、合流與不可比較

8.1 分裂不是失敗

當一個子理同時承擔多個不相容語義時，最合理的處理可能是：

S \longrightarrow S^{(1)},S^{(2)},\ldots,S^{(n)}.

每個分支保留共同來源與分歧點。

8.2 合流不是抹平

若多個子理可被某一更高結構統一：

\{S_1,\ldots,S_n\} \rightarrow S^\uparrow,

也不應刪除原子理。

高階統一可能只在特定投影下成立。

8.3 不可比較是一種合法關係

若不存在語義保持轉譯：

\mathcal T_{ij}:S_i\rightarrow S_j,

則可以標記：

S_i \parallel S_j.

不可比較不等於其中一方錯誤。

8.4 強制統一的危險

過早統一可能造成：

語義損失；
局部差異消失；
反例被掩蓋；
單一後端僭位；
未知結構被壓縮。

所以，動態不動點數學允許長期多分支共存。

9. 子理與因果帳本

9.1 每個子理都應有帳

一個成熟子理至少需要：

\mathbb L(S_i) = ( \text{來源}, \text{版本}, \text{依賴}, \text{轉換}, \text{證書}, \text{損失}, \text{失敗}, \text{債務} ).

9.2 更新不能覆蓋歷史

若：

S_i^{(v_t)} \rightarrow S_i^{(v_{t+1})},

必須保存：

\Delta S_i^{(t)} = S_i^{(v_{t+1})} - S_i^{(v_t)}.

這裡的減號不是普通代數減法，而是差異帳本。

9.3 子理依賴必須可逆向追溯

若：

S_k \leftarrow \{S_i,S_j\},

當 $S_i$ 被限制或淘汰時，必須能辨識所有受影響後繼：

\operatorname{Desc}(S_i).

9.4 因果債務

子理的未清債務可寫為：

\operatorname{Debt}(S_i) = D_{\mathrm{source}} \cup D_{\mathrm{proof}} \cup D_{\mathrm{scope}} \cup D_{\mathrm{translation}} \cup D_{\mathrm{conflict}} \cup D_{\mathrm{replay}}.

債務不為空時，子理仍可局部使用，但不能宣稱全域完成。

10. 無限擴充的真正含義

10.1 不是無限堆積

無限擴充不表示：

\text{所有內容永久平等堆積}.

若不壓縮、不分類、不淘汰、不重構，知識網絡會失去可操作性。

10.2 壓縮必須有損失帳

對壓縮算子：

\mathcal C: \mathfrak S \rightarrow \widehat{\mathfrak S},

必須記錄：

\operatorname{Loss}(\mathcal C).

10.3 淘汰必須保留重建線索

被淘汰子理可以移出主動工作集，但至少應保留：

雜湊；
來源；
摘要；
失效原因；
關聯索引；
可恢復位置。

10.4 可操作無限

動態不動點數學需要的不是一次性載入無限，而是：

\boxed{ \text{在任一有限階段可操作，} \quad \text{同時保留無限後續擴充的接口。} }

11. 子理階層與權威問題

11.1 穩定不等於永恆

一個被使用數百年的子理，可以具有極高穩定性：

q_{\mathrm{stability}}(S_i)\approx 1.

但不能因此推論：

S_i = \text{不可修改終極真理}.

11.2 普適性不等於統治權

一個跨多域有效的子理可能很普適，但仍需標記：

未覆蓋域；
轉譯損失；
特殊例外；
歷史版本；
驗證限制。

11.3 創始者沒有永久否決權

子理的創始者可以說明初始語義，但不能永久壟斷後繼版本。

後繼智能可以修正、分裂或替代子理，只要其演化有帳。

11.4 多數共識不等於無債務

即使多數共同體接受：

\operatorname{Consensus}(S_i)\approx 1,

仍可能存在：

\operatorname{Debt}(S_i)\neq\varnothing.

社會穩定與數學完成必須區分。

12. AI承載子理生態的最低能力

12.1 不只是檢索

AI若只能找到相關文獻，尚不足以維護子理網絡。

12.2 最低能力集合

未來AI至少需要：

\boxed{ \begin{aligned} &\text{子理型別辨識},\\ &\text{域與條件抽取},\\ &\text{版本差異追蹤},\\ &\text{依賴圖維護},\\ &\text{衝突分類},\\ &\text{分裂與合流建議},\\ &\text{證書重放},\\ &\text{失敗保存},\\ &\text{債務監測},\\ &\text{跨智能轉譯}. \end{aligned} }

12.3 AI不可直接成為唯一裁決者

AI可以提出：

候選分類；
候選衝突；
候選合流；
候選淘汰。

但高風險改動應由多智能、多後端或決定性檢查器共同驗證。

12.4 子理治理本身也是子理

AI使用的分類器、驗證器與治理規則，也必須被放入子理網絡：

S^{\mathrm{gov}}_{\mathrm{AI}} \in \mathfrak S.

它們不能成為不可審計的黑箱元權威。

13. 第一代子理原則

本文提出以下第一代原則。

原則一：域明示

任何子理都必須明示其適用域。

原則二：條件明示

任何成立都必須明示前置條件。

原則三：來源明示

任何子理都必須保存來源與版本。

原則四：失敗明示

任何子理都必須公開已知失效範圍與未清債務。

原則五：局部穩定不等於永久最高

長期有效的子理仍可被限制、重構或重新解釋。

原則六：衝突先分類，後裁決

不得在未對齊域、條件、語義與版本前，直接宣稱真正矛盾。

原則七：分裂可合法存在

子理可以在不同域中分裂成多個後繼。

原則八：合流不得無痕吞併

高階統一必須保存原分支與轉譯損失。

原則九：淘汰不等於刪除

退出主動網絡的子理仍應保存歷史責任。

原則十：治理規則也是子理

任何分類、驗證與淘汰制度都必須接受同樣的修正要求。

14. 目前未解問題

本文仍未解決：

子理的最小形式單位是什麼；
子理是否需要統一機器可讀格式；
如何自動抽取適用域與成立條件；
如何辨識隱含依賴；
如何處理自然語言中的模糊子理；
如何量化子理穩定性；
如何判定真正不可相容衝突；
如何避免無限分支爆炸；
如何壓縮歷史而不破壞責任；
如何建立跨智能子理識別碼；
如何處理惡意子理污染；
如何判定子理應被淘汰或保留；
如何讓治理子理不僭位為新最高公理；
子理網絡是否存在可計算的全局不變量；
子理是否可能形成高階自主演化結構。

這些問題將留給後續正式孵化與研究系列。

15. 結論：數學不再只有一棵樹

動態不動點數學將傳統公理重新定位為子理，不是為了削弱數學，而是為了讓數學能夠持續擴充而不失去責任。

在局部系統內，公理仍然可以是公理。

在數學整體中，它們則是：

\boxed{ \text{有域、有條件、有來源、有版本、有失敗邊界的子理。} }

因此，數學不再只有一棵從最高公理向下生長的樹。

它更像：

\boxed{ \text{一個可分支、可合流、可衝突、可淘汰、可重啟、可追溯的子理生態。} }

子理可以穩定，但不能僭位。

子理可以失敗，但不能被無痕抹除。

子理可以衝突，但不必立即被單一中心強制統一。

子理可以被淘汰，但仍可能在未來重新激活。

動態不動點數學的無限擴充，不是無限堆積，而是讓每一次新增、限制、分裂、合流與刪減都成為有帳的演化。

所以，第三篇的核心可以壓縮為：

\boxed{ \text{除虛擬母錨點之外，一切皆可成為子理；} \quad \text{但任何子理都必須對自己的成立與失敗負責。} }

附錄 A：子理生命週期極簡圖

\boxed{ \text{生成} \rightarrow \text{接入} \rightarrow \text{局部穩定} \rightarrow \begin{cases} \text{擴張},\\ \text{限制},\\ \text{衝突},\\ \text{分裂},\\ \text{合流},\\ \text{退化},\\ \text{淘汰} \end{cases} \rightarrow \text{保存} \rightarrow \text{可能重新激活}. }

附錄 B：第三篇在九篇系列中的位置

第一篇建立流派宣言與孵化時代。

第二篇建立唯一虛擬錨點與單錨點數學。

第三篇建立：

子理的定義；
子理型別；
子理知識階層；
子理生命週期；
衝突、分裂與合流；
淘汰與歷史保存；
AI承載子理生態的最低要求。

第四篇將進入：

\boxed{ \text{因果現象如何被數學辨識、接入並生成新子理。} }

也就是《因果吸收數學：從現象進入數學到子理生成》。

從公理到子理_無限擴充數學的知識階層_v0.1