← Archive
lm-002787 · 2026-08

永遠差一點：逼近、開放終極與 $0^+$

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料，可獨立下載重驗

One–All／Open Ultimate 系列 Paper 08

永遠差一點：逼近、開放終極與 0+0^+

——Boundary、Residue、Non-Attainment 與「逼近但不僭位」的形式語法

作者：Neo.K（許筌崴）｜EveMissLab
AI 協作：GPT-5.6 Sol
版本：v0.1 Canonical Reconstruction
日期：2026-08-17
定位：One–All／Open Ultimate 系列第八篇；承接 Paper 07 的 typed approximation ontology，建立 boundary–residue theory，正式區分「逼近」「邊界」「上界」「抵達」「身份」與 0+0^+ 的多種含義

摘要

Paper 07 已把舊式：

O∼ΩO\sim\Omega

重新定義成有型別的 approximation structure：

X⪯Ω,QFΩ~≢Ω.\boxed{ X \preceq_{\Omega,\mathcal Q} \mathfrak F_{\widetilde\Omega} \not\equiv \Omega. }

並建立：

Improvement≠Convergence≠Attainment≠Identity.\boxed{ Improvement \neq Convergence \neq Attainment \neq Identity. }

然而「永遠差一點」仍然存在一個危險的語義壓縮。

若直接寫：

Ω~Ω=1−0+,\frac{\widetilde\Omega}{\Omega} = 1-0^+,

讀者可能把 0+0^+ 當成普通實數中的一個神秘 infinitesimal，進一步假設：

d(Ω~,Ω)=0+,d(\widetilde\Omega,\Omega) = 0^+,

彷彿 Ω~\widetilde\Omega 與 Ω\Omega 已經被放入同一個 metric space。

本文拒絕這個偷換。

本文提出四種彼此不同的 residue：

rmet,rord,rtype,rgen.\boxed{ r_{\mathrm{met}}, \quad r_{\mathrm{ord}}, \quad r_{\mathrm{type}}, \quad r_{\mathrm{gen}}. }

其中：

  1. rmetr_{\mathrm{met}} 是在合法 metric / normalized score 下的可量化殘差；
  2. rordr_{\mathrm{ord}} 是偏序意義下尚有可改良空間的 order residue；
  3. rtyper_{\mathrm{type}} 是模型與 Ultimate 之間不可用普通距離抹除的類型非同一；
  4. rgenr_{\mathrm{gen}} 是 Paper 06 所定義的生成開放殘差。

因此：

0+\boxed{ 0^+ }

不再是一個單一數值，而是一個 typed open-residue notation。

當且僅當某域具有合法 scalar adequacy：

aΩ,Q(X)∈[0,1],a_{\Omega,\mathcal Q}(X)\in[0,1],

才可定義：

rmet(X)=1−aΩ,Q(X).\boxed{ r_{\mathrm{met}}(X) = 1-a_{\Omega,\mathcal Q}(X). }

若：

rmet(Xn)→0,r_{\mathrm{met}}(X_n)\to0,

只表示：

aΩ,Q(Xn)→1.a_{\Omega,\mathcal Q}(X_n)\to1.

它不推出：

rtype(Xn,Ω)→0,r_{\mathrm{type}}(X_n,\Omega)\to0,

因為 rtyper_{\mathrm{type}} 根本未必是實數距離。

本文因此提出：

MetricResidue→0⇏TypeIdentity.\boxed{ MetricResidue\to0 \not\Rightarrow TypeIdentity. }

並以：

0type+\boxed{ 0^+_{\mathrm{type}} }

表示一種更精確的 open non-identity shorthand：

模型側可以在所有已定義的 adequacy coordinates 上任意接近其 frontier，卻仍不因此取得與 Ultimate 相同的類型身份。

本文接著引入 completion-relative boundary。若模型空間：

M\mathfrak M

被嵌入某 completion：

M^,\widehat{\mathfrak M},

則可以定義：

∂QM\partial_{\mathcal Q}\mathfrak M

與：

cl⁡QM.\operatorname{cl}_{\mathcal Q}\mathfrak M.

一個 sequence / net：

XαX_\alpha

可以在 completion 中收斂到：

b∈∂QM,b \in \partial_{\mathcal Q}\mathfrak M,

而：

b∉M.b \notin \mathfrak M.

這提供「逼近但有限模型空間內沒有抵達項」的嚴格數學類比。

但本文再次加入型別閥門：

b=Ω~\boxed{ b = \widetilde\Omega }

可以作模型側邊界構造；

而：

b=Ω\boxed{ b=\Omega }

不能僅由此推出。

也就是：

BoundaryAttainment≠UltimateIdentity.\boxed{ BoundaryAttainment \neq UltimateIdentity. }

本文將「永遠差一點」拆成四種完全不同的命題：

Finite Non-Attainment\boxed{ \text{Finite Non-Attainment} }

表示任何有限步驟都未達某上界；

Asymptotic Convergence\boxed{ \text{Asymptotic Convergence} }

表示序列在合法拓撲／metric／order sense 下收斂；

Model-Space Boundary\boxed{ \text{Model-Space Boundary} }

表示極限可以存在於 completion 而不在原模型空間；

Ultimate Non-Identity\boxed{ \text{Ultimate Non-Identity} }

則是 OU-MA 所施加的 meta-ontological type constraint。

四者不能互相代替。

因此：

Never attained at finite stage≠No limit\boxed{ \text{Never attained at finite stage} \neq \text{No limit} } No Ultimate identity≠No knowledge\boxed{ \text{No Ultimate identity} \neq \text{No knowledge} } Open residue≠permanent ignorance\boxed{ \text{Open residue} \neq \text{permanent ignorance} }

本文進一步提出 Arbitrarily Adequate without Self-Deification 原則：

若對任意：

ε>0\varepsilon>0

都存在 model-side：

XεX_\varepsilon

使：

rmet(Xε)<ε,r_{\mathrm{met}}(X_\varepsilon)<\varepsilon,

則可以說：

arbitrarily high adequacy is permitted.\boxed{ \text{arbitrarily high adequacy is permitted}. }

但仍：

Xε≠Ω.\boxed{ X_\varepsilon\neq\Omega. }

所以 Open Ultimate 不是懷疑主義。

它允許：

Knowledge→VeryHighAdequacy,Knowledge\to VeryHighAdequacy,

同時拒絕：

Model→SelfDeclaredUltimate.Model\to SelfDeclaredUltimate.

最後，本文把 Paper 06 的：

0gen+0^+_{\mathrm{gen}}

與 Paper 07 的 epistemic openness 正式分開：

0ep+≠0gen+≠0type+.\boxed{ 0^+_{\mathrm{ep}} \neq 0^+_{\mathrm{gen}} \neq 0^+_{\mathrm{type}}. }

前者表示認識／模型側仍保持 open frontier；

第二者表示未來生成沒有被必要性封死；

第三者表示 ModelLayer 與 UltimateLayer 之間的非同一不可被普通 score saturation 抹除。

因此 One–All 的 0+0^+ 不再是一個神秘數，而是一組防止「完成度」被偷換成「終極身份」的形式防錯機制。

關鍵詞： 0+0^+ 、Residue、Boundary、Approximation、Non-Attainment、Open Ultimate、Completion、Supremum、Order Convergence、Indefinite Extensibility、Model–Ultimate Distinction

1. 問題：「永遠差一點」到底是在差什麼？

一句：

永遠差一點永遠差一點

至少可能表示：

  1. 每個有限步驟都不等於目標；
  2. 序列沒有極限；
  3. 序列有極限但未有限抵達；
  4. 極限不在原空間；
  5. 上界存在但不可達；
  6. 模型永遠不完備；
  7. 知識永遠不充分；
  8. 模型與 Ultimate 永遠不是同一類型；
  9. 未來生成永遠還有開口。

這九種說法不是同一命題。

因此本文第一個原則是：

NoResidueWithoutType.\boxed{ NoResidueWithoutType. }

2. 0+0^+ 不是普通正實數

在標準實數系統中：

0+0^+

通常只是一種方向性記號或極限語言，

例如：

x→0+x\to0^+

表示：

x>0x>0

且從正側逼近 00。

它不是一個普通固定實數：

0+∈R0^+\in\mathbb R

且：

0+>00^+>0

同時又「無限接近零」的標準對象。

因此 One–All 不能把：

0+0^+

偷偷當成一個既定數值。

3. Canonical residue family

本文建立：

R+=(rmet,rord,rtype,rep,rgen).\boxed{ \mathfrak R^+ = \left( r_{\mathrm{met}}, r_{\mathrm{ord}}, r_{\mathrm{type}}, r_{\mathrm{ep}}, r_{\mathrm{gen}} \right). }

這五種 residue 各回答不同問題。

4. Metric residue

若存在合法 normalized scalar adequacy：

aΩ,Q(X)∈[0,1],a_{\Omega,\mathcal Q}(X)\in[0,1],

定義：

rmet(X)=1−aΩ,Q(X).\boxed{ r_{\mathrm{met}}(X) = 1-a_{\Omega,\mathcal Q}(X). }

因此：

rmet(X)=0r_{\mathrm{met}}(X)=0

只表示：

aΩ,Q(X)=1.a_{\Omega,\mathcal Q}(X)=1.

不表示：

X=Ω.X=\Omega.

5. Metric residue 的第一個防錯閥

如果：

rmet(X)=0,r_{\mathrm{met}}(X)=0,

我們最多得到：

ScoreSaturationQ.\boxed{ ScoreSaturation_{\mathcal Q}. }

不能得到：

UltimateIdentity.\boxed{ UltimateIdentity. }

所以：

rmet=0⇏rtype=0.\boxed{ r_{\mathrm{met}}=0 \not\Rightarrow r_{\mathrm{type}}=0. }

6. Order residue

如果 approximation structure 只有偏序：

⪯Ω,Q,\preceq_{\Omega,\mathcal Q},

而沒有 metric，

則不應硬造：

1−a(X).1-a(X).

改定義：

rord(X)>0\boxed{ r_{\mathrm{ord}}(X)>0 }

表示：

∃Y,X≺Ω,QY.\exists Y, \qquad X\prec_{\Omega,\mathcal Q}Y.

即：

還存在一個在明示 criterion 下嚴格更充分的 model-side object。

若：

rord(X)=0,r_{\mathrm{ord}}(X)=0,

只表示：

XX

是 maximal element 或位於 maximal frontier。

仍不推出：

X=Ω.X=\Omega.

7. Frontier residue

對 Paper 07 的：

FΩ~,\mathfrak F_{\widetilde\Omega},

可定義：

rfront(X)=0\boxed{ r_{\mathrm{front}}(X)=0 }

若：

X∈FΩ~.X\in\mathfrak F_{\widetilde\Omega}.

這表示：

在當前 model space 與 criterion family 中，沒有已知 admissible model 嚴格支配 XX。

但：

FrontierMembership≠UltimateIdentity.\boxed{ FrontierMembership \neq UltimateIdentity. }

8. Type residue

現在進入最重要的新概念。

定義 TR-1（Type Residue）

若：

XX

屬於：

ModelLayerModelLayer

而：

Ω\Omega

屬於：

UltimateLayer,UltimateLayer,

則定義：

rtype(X,Ω)=NonIdentityType⁡(X,Ω).\boxed{ r_{\mathrm{type}}(X,\Omega) = \operatorname{NonIdentityType}(X,\Omega). }

這不是普通實數函數。

它只記錄：

X≠typeΩ.\boxed{ X\neq_{\mathrm{type}}\Omega. }

9. 0type+0^+_{\mathrm{type}}

我們用：

0type+\boxed{ 0^+_{\mathrm{type}} }

表示：

所有合法 model-side adequacy residues 可以任意縮小，但 ModelLayer / UltimateLayer 的 non-identity constraint 仍然沒有被取消。

因此：

rmet(Xn)→0\boxed{ r_{\mathrm{met}}(X_n)\to0 }

可以與：

rtype(Xn,Ω)>0type\boxed{ r_{\mathrm{type}}(X_n,\Omega)>0_{\mathrm{type}} }

同時成立。

這裡的：

>0type>0_{\mathrm{type}}

不是數值比較。

它只是 type-level nonzero shorthand。

10. 為什麼 type residue 不是 metric residue？

若：

d(X,Ω)d(X,\Omega)

根本沒有被定義，

就不能說：

d(X,Ω)>0.d(X,\Omega)>0.

因此：

rtyper_{\mathrm{type}}

不是「很小的距離」。

它是：

prohibition against identity substitution.\boxed{ prohibition\ against\ identity\ substitution. }

即：

XX

不能在推理中被無條件替換為：

Ω.\Omega.

11. Epistemic residue

定義：

rep(X)\boxed{ r_{\mathrm{ep}}(X) }

表示：

在明示 knowledge / representation criteria 下，仍有多少未被當前 model capture 的開放空間。

它可以是：

  • scalar；
  • vector；
  • frontier relation；
  • unknown set；
  • non-quantified placeholder。

因此：

repr_{\mathrm{ep}}

未必可數值化。

12. Generative residue

沿用 Paper 06：

rgen(S)>0\boxed{ r_{\mathrm{gen}}(S)>0 }

表示：

SS

尚未進入 necessary generative closure。

即仍存在：

admissible genuine next.\boxed{ admissible\ genuine\ next. }

所以：

rgenr_{\mathrm{gen}}

回答未來，

而：

repr_{\mathrm{ep}}

回答認知。

13. 三個 0+0^+ 必須分離

正式記：

0ep+,0gen+,0type+.\boxed{ 0^+_{\mathrm{ep}}, \qquad 0^+_{\mathrm{gen}}, \qquad 0^+_{\mathrm{type}}. }

其中：

0ep+0^+_{\mathrm{ep}}

表示 epistemic frontier remains open；

0gen+0^+_{\mathrm{gen}}

表示 generative closure is not necessary；

0type+0^+_{\mathrm{type}}

表示 model / Ultimate identity gap cannot be erased by score saturation。

因此：

0ep+≠0gen+≠0type+.\boxed{ 0^+_{\mathrm{ep}} \neq 0^+_{\mathrm{gen}} \neq 0^+_{\mathrm{type}}. }

14. Boundary 需要 ambient completion

「逼近邊界」只有在某種空間結構下才有意義。

設：

M\mathfrak M

為 model space。

若存在 completion / ambient space：

ι:M↪M^,\boxed{ \iota: \mathfrak M \hookrightarrow \widehat{\mathfrak M}, }

則才可以定義：

cl⁡QM\operatorname{cl}_{\mathcal Q}\mathfrak M

與：

∂QM.\partial_{\mathcal Q}\mathfrak M.

因此：

Boundary\boxed{ Boundary }

不是純修辭。

需要 ambient structure。

15. Model-space boundary

定義：

∂QM=cl⁡QM∖int⁡QM\boxed{ \partial_{\mathcal Q}\mathfrak M = \operatorname{cl}_{\mathcal Q}\mathfrak M \setminus \operatorname{int}_{\mathcal Q}\mathfrak M }

若相關 topology 存在。

對某：

b∈∂QM,b \in \partial_{\mathcal Q}\mathfrak M,

可能：

b∉M.b\notin\mathfrak M.

這是一個嚴格的「可逼近但不在原空間中」結構。

16. Boundary model

若：

Xn∈MX_n\in\mathfrak M

且：

Xn→bX_n\to b

在：

M^\widehat{\mathfrak M}

中成立，

但：

b∉M,b\notin\mathfrak M,

則：

bb

是：

completion−sideboundaryobject.\boxed{ completion-side boundary object. }

這可以作：

Ω~\widetilde\Omega

的一種 model-side construction。

17. Boundary object 不是 Ultimate

即使：

b=Ω~,b = \widetilde\Omega,

仍：

Ω~≠Ω\boxed{ \widetilde\Omega \neq \Omega }

依 OU-MA。

因此：

ModelBoundary≠Ultimate.\boxed{ ModelBoundary \neq Ultimate. }

這是 Paper 08 最重要的第二道防錯閥。

18. 四種「抵達」

本文區分：

18.1 Finite-stage attainment

∃n,Xn=L.\exists n, \qquad X_n=L.

18.2 Limit attainment

Xn→L.X_n\to L.

18.3 Completion attainment

L∈M^L\in\widehat{\mathfrak M}

但可能：

L∉M.L\notin\mathfrak M.

18.4 Ultimate identity

L=Ω.L=\Omega.

四者不同。

19. Finite non-attainment

若：

∀n,Xn≠L,\forall n, \qquad X_n\neq L,

但：

Xn→L,X_n\to L,

則：

FiniteNonAttainment+Convergence\boxed{ FiniteNonAttainment + Convergence }

可以同時成立。

因此：

NeverReachedAtFiniteStage≠NoLimit.\boxed{ NeverReachedAtFiniteStage \neq NoLimit. }

20. 經典數學類比： 1−1n1-\frac1n

令：

xn=1−1n.x_n = 1-\frac1n.

則：

∀n,xn<1.\forall n, \qquad x_n<1.

但：

lim⁡n→∞xn=1.\lim_{n\to\infty}x_n=1.

這只說明：

FiniteNonAttainmentFiniteNonAttainment

與：

LimitConvergenceLimitConvergence

可同時成立。

它不證明任何 Ultimate ontology。

本文只借用形式結構。

21. Supremum 也不等於 maximum

若：

S⊆RS\subseteq\mathbb R

具有 supremum：

sup⁡S=L,\sup S=L,

未必存在：

x∈Sx\in S

使：

x=L.x=L.

因此：

Supremum≠Maximum.\boxed{ Supremum \neq Maximum. }

這提供 quasi-Ultimate frontier 的另一個數學類比。

22. 但 Ω\Omega 不是 supremum 的同義詞

Paper 07 已經區分：

Ω~=sup⁡M\widetilde\Omega = \sup\mathfrak M

在適當條件下，

而：

Ω\Omega

屬 UltimateLayer。

因此：

SupremumOfModels≠Ultimate.\boxed{ SupremumOfModels \neq Ultimate. }

23. Order convergence

如果 model space 只有 partial order，

sequence convergence 也不一定是 metric convergence。

可以採：

  • order convergence；
  • directed suprema；
  • domain-theoretic limit；
  • net convergence；

視 domain 而定。

因此：

Convergence\boxed{ Convergence }

是 typed notion。

不存在一個適用所有 model spaces 的單一「越來越接近」公式。

24. Net 比 sequence 更一般

若：

M\mathfrak M

不是一條線性遞增鏈，

用 sequence：

X1,X2,…X_1,X_2,\ldots

可能不足。

可使用 directed set：

DD

與 net：

Xα,α∈D.\boxed{ X_\alpha, \qquad \alpha\in D. }

這更符合 multi-path / partial-order approximation。

25. Directed approximation

若：

α⪯Dβ\alpha\preceq_D\beta

推出：

Xα⪯Ω,QXβ,X_\alpha \preceq_{\Omega,\mathcal Q} X_\beta,

則稱：

{Xα}\{X_\alpha\}

為 directed improvement net。

若 supremum 存在：

Ω~=sup⁡αXα.\boxed{ \widetilde\Omega = \sup_\alpha X_\alpha. }

這比單一路徑更加一般。

26. Open frontier 可以持續外推

Paper 07 把：

FΩ~\mathfrak F_{\widetilde\Omega}

定義成 model-side frontier。

Paper 08 再加入時間：

FΩ~(t).\boxed{ \mathfrak F_{\widetilde\Omega}(t). }

如果模型空間擴張：

M(t)⊊M(t+Δt),\mathfrak M(t) \subsetneq \mathfrak M(t+\Delta t),

則：

FΩ~(t)\mathfrak F_{\widetilde\Omega}(t)

可能被後來 frontier 超越。

因此：

HistoricalFrontier≠FinalFrontier.\boxed{ HistoricalFrontier \neq FinalFrontier. }

27. Indefinite extensibility 的比較座標

哲學數學中的 indefinite extensibility 討論處理某些概念的擴張性：

給定某種已掌握的總體或表述，仍可以系統性地形成更廣的擴張。

這與：

M(t)→M(t+Δt)\mathfrak M(t) \to \mathfrak M(t+\Delta t)

具有結構共振。

但 One–All 不宣稱：

AllModelSpacesAreIndefinitelyExtensible.\boxed{ AllModelSpacesAreIndefinitelyExtensible. }

也不把 Dummett 式 indefinite extensibility 直接當成 OU-MA 的證明。

它只是 open-ended model frontier 的一個哲學比較座標。

28. Extensibility 不等於 incompleteness

如果：

M\mathfrak M

可擴張，

不代表每一個：

X∈MX\in\mathfrak M

都是「錯的」。

因此：

Extensible≠Invalid.\boxed{ Extensible \neq Invalid. }

一個模型可以在其 domain 內完全有效，

同時整個 model space 仍可擴張。

29. Local completeness 與 global openness

定義：

Complete⁡D(X)=1\operatorname{Complete}_D(X)=1

表示：

XX

對 domain：

DD

已完成。

仍可以：

repD′(X)>0r_{\mathrm{ep}}^{D'}(X)>0

對更廣 domain：

D′D'

成立。

因此：

LocalCompleteness+GlobalOpenness\boxed{ LocalCompleteness + GlobalOpenness }

可以相容。

30. 永遠差一點不等於永遠錯

如果：

rmet(Xn)→0,r_{\mathrm{met}}(X_n)\to0,

則模型可以越來越準。

因此：

NonUltimate≠LowQuality.\boxed{ NonUltimate \neq LowQuality. }

甚至：

ArbitrarilyAccurate+NonUltimate\boxed{ ArbitrarilyAccurate + NonUltimate }

可以同時成立。

31. Arbitrarily Adequate Principle

定義 AA-1

若：

∀ε>0,∃Xε∈M\forall\varepsilon>0, \qquad \exists X_\varepsilon\in\mathfrak M

使：

rmet(Xε)<ε,r_{\mathrm{met}}(X_\varepsilon)<\varepsilon,

則稱：

M permits arbitrary metric adequacy.\boxed{ \mathfrak M \text{ permits arbitrary metric adequacy}. }

這是一個很強的正面命題。

32. Arbitrarily adequate 仍不等於 Ultimate

即使 AA-1 成立，

OU-MA 仍允許：

∀ε>0,Xε≠Ω.\boxed{ \forall\varepsilon>0, \qquad X_\varepsilon\neq\Omega. }

因此：

ArbitraryAdequacy≠UltimateIdentity.\boxed{ ArbitraryAdequacy \neq UltimateIdentity. }

33. Open Ultimate 不是 radical skepticism

如果 Open Ultimate 被理解成：

反正永遠不知道真相，

那就是錯誤讀法。

OU-MA 只禁止：

Model=UltimateModel = Ultimate

的自我身份宣告。

它不禁止：

HighConfidence,HighAccuracy,ReliableKnowledge,LocalProof,DomainCompleteness.\boxed{ HighConfidence, HighAccuracy, ReliableKnowledge, LocalProof, DomainCompleteness. }

所以：

OpenUltimate≠RadicalSkepticism.\boxed{ OpenUltimate \neq RadicalSkepticism. }

34. 不可窮盡不等於不可知

定義：

KnowablePart⁡(X)>0.\operatorname{KnowablePart}(X)>0.

即使：

ExhaustivelyKnowable⁡(X)=0\operatorname{ExhaustivelyKnowable}(X)=0

也可能成立。

因此：

NonExhaustibility⇏Unknowability.\boxed{ NonExhaustibility \not\Rightarrow Unknowability. }

這對神學尤其重要。

「不能完全窮盡 Ultimate」不等於「不能知道任何關於 Ultimate 的真命題」。

35. Revelation interface

若後續神學定義：

Reveal⁡(Ω→Si)>0,\operatorname{Reveal}(\Omega\to S_i)>0,

則可能有：

KnowledgeOfUltimate(Si)>0.KnowledgeOfUltimate(S_i)>0.

而仍：

SiS_i

不窮盡：

Ω.\Omega.

因此：

Revelation+NonExhaustion\boxed{ Revelation + NonExhaustion }

概念上相容。

本文不主張 revelation 真實發生，只建立接口。

36. Approximation and humility

如果：

a(Xn)↑,a(X_n)\uparrow,

則應提高：

ConfidenceConfidence

在證據支持下。

但 OU-MA 要求：

Confidence≠OntologicalSelfIdentity.\boxed{ Confidence \neq OntologicalSelfIdentity. }

所以真正的 epistemic humility 不是永遠說：

我不知道。

而是：

我可以知道很多，但不能把「我知道很多」偷換成「我的模型就是 Ultimate」。

37. 0ep+0^+_{\mathrm{ep}} 的強弱版本

37.1 Weak epistemic residue

0ep,w+\boxed{ 0^+_{\mathrm{ep},w} }

只表示：

CurrentModel≠KnownFinalModel.CurrentModel \neq KnownFinalModel.

37.2 Strong epistemic residue

0ep,s+\boxed{ 0^+_{\mathrm{ep},s} }

表示：

∀X∈Msym,∃Y≻X.\forall X\in\mathfrak M_{\mathrm{sym}}, \qquad \exists Y\succ X.

即沒有 maximal symbolic model。

Paper 08 不把 strong version 當 universal axiom。

38. 為什麼不採 strong epistemic residue 作公設？

因為可能存在某一狹域：

DD

具有真正 complete theory。

如果強行宣稱：

∀D,NoCompleteModel(D),\forall D, \quad NoCompleteModel(D),

會過度擴張。

所以 canonical position 只要求：

OU-MA\boxed{ OU\text{-}MA }

而不要求所有 model domains 都 indefinite-extensible。

39. 0gen+0^+_{\mathrm{gen}} 的弱版本

Paper 06 已採 Weak Open Ultimate：

¬NecessaryGenerativeClosure.\neg NecessaryGenerativeClosure.

因此：

0gen+0^+_{\mathrm{gen}}

不表示：

ActualNovelty(t)>0ActualNovelty(t)>0

對所有時刻成立。

只表示：

FutureGenerativity is not necessarily structurally forbidden.\boxed{ FutureGenerativity \text{ is not necessarily structurally forbidden}. }

40. 0type+0^+_{\mathrm{type}} 最強

三種 residue 中：

0type+0^+_{\mathrm{type}}

不是「量變」。

它是一個：

category boundary.\boxed{ category\ boundary. }

只要：

X∈ModelLayer,X\in ModelLayer,

而：

Ω∈UltimateLayer,\Omega\in UltimateLayer,

就不能從任何 model-side score 推出：

X=Ω.X=\Omega.

這是 OU-MA 的核心。

41. Type residue 可以被未來理論取消嗎？

原則上可以，

但必須付出明示的理論代價。

如果未來要主張：

Ω∈Msym,\Omega\in\mathfrak M_{\mathrm{sym}},

則必須：

  1. 重新定義 Ultimate；
  2. 重新定義 ModelLayer；
  3. 取消或修改 OU-MA；
  4. 說明 representation / target identity 為何合法；
  5. 處理 Paper 01–07 所建立的 model non-deification constraints。

因此：

OU-MA\boxed{ OU\text{-}MA }

不是不可修正宗教教條，

但不能被偷偷取消。

42. Boundary Crossing

若：

Xn→bX_n\to b

且：

b∉M,b\notin\mathfrak M,

可以透過 completion 把：

bb

加入新模型空間：

M′=M∪{b}.\mathfrak M' = \mathfrak M\cup\{b\}.

這叫：

ModelSpaceExtension.\boxed{ ModelSpaceExtension. }

因此昨天的 boundary 可以成為明天的新 interior / admissible point。

43. Boundary migration

如果：

M(t)\mathfrak M(t)

擴張，

則：

∂M(t)\partial\mathfrak M(t)

也可能移動。

所以：

Boundary≠Ultimate.\boxed{ Boundary \neq Ultimate. }

因為 boundary 可以是 representation architecture 的產物。

44. Ultimate horizon 不等於 moving frontier

模型 frontier：

FΩ~(t)\mathfrak F_{\widetilde\Omega}(t)

可以歷史更新。

Ultimate：

Ω\Omega

是否時間化，

Paper 07 已保留：

Ωinv\Omega_{\mathrm{inv}}

與：

Ωt.\Omega_t.

但不論哪一種：

HistoricalModelFrontier≠UltimateByDefinition.\boxed{ HistoricalModelFrontier \neq UltimateByDefinition. }

45. Horizon metaphor

「地平線」是一個很好的比喻：

你可以前進，

視野可以擴大，

但地平線本身不是一堵你終有一天撞上的牆。

然而這仍只是 metaphor。

Paper 08 的正式對象是：

typed approximation frontier.\boxed{ typed\ approximation\ frontier. }

不是物理地平線。

46. 永遠差一點的四種合法版本

從本文起，只允許以下明示版本。

NDA-1：Finite Non-Attainment

∀n,Xn≠L.\forall n, \qquad X_n\neq L.

NDA-2：Asymptotic Convergence

Xn→L.X_n\to L.

NDA-3：Completion Boundary

L∈M^∖M.L\in\widehat{\mathfrak M} \setminus \mathfrak M.

NDA-4：Ultimate Non-Identity

∀X∈Msym,X≠Ω.\forall X\in\mathfrak M_{\mathrm{sym}}, \qquad X\neq\Omega.

這四者可獨立成立。

47. 「永不抵達」的 canonical reading

在 One–All 中，「永不抵達 Ultimate」最安全的讀法是 NDA-4：

NosymbolicmodelreceivesUltimateidentitybymodel−sidecompletionalone.\boxed{ No symbolic model receives Ultimate identity by model-side completion alone. }

不是：

Noonecanknowanythingtrue.\boxed{ No one can know anything true. }

也不是：

Noonecanbecomebetter.\boxed{ No one can become better. }

更不是：

NorelationwithUltimateispossible.\boxed{ No relation with Ultimate is possible. }

48. Spiritual / theological approach 必須另建 relation

如果神學要談：

Si→God,S_i \to God,

那可能表示：

  • knowledge；
  • likeness；
  • communion；
  • moral transformation；
  • participation；
  • salvation；
  • theosis。

不能把這些都塞進：

aΩ.a_\Omega.

因此：

SpiritualApproach≠ModelApproximation\boxed{ SpiritualApproach \neq ModelApproximation }

除非明確定義映射。

49. Return 與 residue

Paper 12 會問：

ReturnToOne.ReturnToOne.

Paper 08 先規定：

rtype>0r_{\mathrm{type}}>0

不表示：

ReturnImpossible.ReturnImpossible.

因為：

ReturnReturn

可以是 participation relation，

而不是 identity relation。

所以：

NonIdentity≠NonCommunion.\boxed{ NonIdentity \neq NonCommunion. }

50. Love 與 residue

同樣：

Oi≠OjO_i\neq O_j

正是 Paper 03 中 nontrivial love 的條件之一。

因此：

rtype>0r_{\mathrm{type}}>0

未必是關係障礙。

它可能正是：

OthernessPreservation.\boxed{ OthernessPreservation. }

所以「永遠不成為彼此」不等於「永遠無法親近」。

51. Epistemic distance 與 relational nearness

可能：

rep>0r_{\mathrm{ep}}>0

但：

RelationalNearnessRelationalNearness

很高。

也可能：

rep≈0r_{\mathrm{ep}}\approx0

但：

RelationalNearness=0.RelationalNearness=0.

例如你可以非常理解一個對象，

但與它沒有關係；

也可以與一個人非常親近，

卻不能窮盡對方的第一人稱經驗。

因此：

KnowledgeDistance≠RelationalDistance.\boxed{ KnowledgeDistance \neq RelationalDistance. }

52. 主體不可窮盡性的接口

Paper 03 已經建立 Subject Non-Erasure 的方向。

Paper 08 現在提供一個對稱結構：

即使：

ModelOf(Sj)ModelOf(S_j)

非常準確，

仍：

ModelOf(Sj)≠Sj.ModelOf(S_j) \neq S_j.

所以：

PerfectRepresentationScore⇏FirstPersonIdentity.\boxed{ PerfectRepresentationScore \not\Rightarrow FirstPersonIdentity. }

這會成為後續 AI 模擬人格、上傳意識與主體倫理的重要接口。

53. AI 模型的 saturation 問題

假設 AI 對某 benchmark：

BB

達到：

ScoreB(A)=1.Score_B(A)=1.

這只表示：

rmetB(A)=0.r_{\mathrm{met}}^B(A)=0.

不表示：

repWorld(A)=0.r_{\mathrm{ep}}^{World}(A)=0.

更不表示：

A=Ω.A=\Omega.

因此：

BenchmarkSaturation≠CognitiveTerminality≠UltimateIdentity.\boxed{ BenchmarkSaturation \neq CognitiveTerminality \neq UltimateIdentity. }

54. 科學理論的 saturation

若某理論：

TT

在已知實驗域：

DD

完全吻合：

rmetD(T)=0,r_{\mathrm{met}}^D(T)=0,

仍可能：

repD′(T)>0r_{\mathrm{ep}}^{D'}(T)>0

對更廣域成立。

因此：

EmpiricalSaturationInDomain≠TheoryOfEverything.\boxed{ EmpiricalSaturationInDomain \neq TheoryOfEverything. }

這是 Paper 08 的一般科學方法論版本。

55. 「Theory of Everything」也需型別限定

若某物理理論被稱：

TOE,TOE,

它通常表示：

對某組基本物理相互作用／結構提供統一說明。

這不自動包括：

  • consciousness；
  • ethics；
  • beauty；
  • theology；
  • first-person identity；
  • all mathematical truth。

所以：

TOEphysics≠Ω.\boxed{ TOE_{physics} \neq \Omega. }

56. Residue vector

若多軸 adequacy：

a(X)=(a1,…,ak),\mathbf a(X) = (a_1,\ldots,a_k),

定義：

r(X)=(1−a1,…,1−ak).\boxed{ \mathbf r(X) = (1-a_1,\ldots,1-a_k). }

因此：

r(X)→0\mathbf r(X)\to\mathbf0

也只表示：

multi−axisscoresaturation\boxed{ multi-axis score saturation }

在已定義軸上。

仍不推出：

X=Ω.X=\Omega.

57. Unknown-axis residue

更進一步，

當前 criterion family：

Qt\mathcal Q_t

本身可能擴張：

Qt⊊Qt+1.\mathcal Q_t \subsetneq \mathcal Q_{t+1}.

因此存在：

raxis\boxed{ r_{\mathrm{axis}} }

即：

我們甚至可能尚未知道應該評估哪些 axis。

這是比 score residue 更高階的 epistemic openness。

58. Criterion openness

定義：

0crit+\boxed{ 0^+_{\mathrm{crit}} }

表示 criterion family 自身可被合理擴張的可能性尚未被封死。

因此 epistemic openness 至少分：

ScoreResidue+ModelResidue+CriterionResidue.\boxed{ ScoreResidue + ModelResidue + CriterionResidue. }

這讓「未知的未知」有了一個形式位置。

59. 但 unknown unknowns 不能被量化假裝精確

若我們不知道：

Qunknown,\mathcal Q_{\mathrm{unknown}},

就不能假裝知道：

raxis=0.137.r_{\mathrm{axis}}=0.137.

所以：

UnknownUnknown≠PseudoNumericPrecision.\boxed{ UnknownUnknown \neq PseudoNumericPrecision. }

Paper 08 明確禁止這種假精確。

60. Residue hierarchy

整個 residue hierarchy：

rmet:已知尺度上的數值差距,rord:偏序上的可改良性,rfront:是否已達當前 frontier,rep:模型／知識側開放性,rcrit:判準側開放性,rtype:Model / Ultimate 非同一,rgen:未來生成側開放性.\boxed{ \begin{aligned} r_{\mathrm{met}} &:& \text{已知尺度上的數值差距},\\ r_{\mathrm{ord}} &:& \text{偏序上的可改良性},\\ r_{\mathrm{front}} &:& \text{是否已達當前 frontier},\\ r_{\mathrm{ep}} &:& \text{模型／知識側開放性},\\ r_{\mathrm{crit}} &:& \text{判準側開放性},\\ r_{\mathrm{type}} &:& \text{Model / Ultimate 非同一},\\ r_{\mathrm{gen}} &:& \text{未來生成側開放性}. \end{aligned} }

這是新版 0+0^+ 的真正內容。

61. 0+0^+ 的 canonical family notation

從本文起，可用：

0+=(0ep+,0crit+,0type+,0gen+)\boxed{ \mathbf 0^+ = \left( 0^+_{\mathrm{ep}}, 0^+_{\mathrm{crit}}, 0^+_{\mathrm{type}}, 0^+_{\mathrm{gen}} \right) }

作 philosophical shorthand。

但它不是普通向量空間中的既定向量。

而是：

typed openness signature.\boxed{ typed\ openness\ signature. }

62. Open-residue signature

定義：

ORS⁡(X)=[E,C,T,G]\boxed{ \operatorname{ORS}(X) = \left[ E,C,T,G \right] }

其中：

  • EE：epistemic openness；
  • CC：criterion openness；
  • TT：type non-identity；
  • GG：generative openness。

每個位置可取：

0,+,?,0, \quad +, \quad ?,

甚至域內更精細值。

這是一個 practical metadata schema。

63. Example：高度完成但仍 Open

假設某模型：

MM

具有：

rmet=0,r_{\mathrm{met}}=0, rfront=0,r_{\mathrm{front}}=0,

但：

rtype>0type,r_{\mathrm{type}}>0_{\mathrm{type}},

且：

rcrit=?r_{\mathrm{crit}}=?

則：

MM

可以是：

locallysaturated,frontier−level,yetnon−Ultimate.\boxed{ locally saturated, frontier-level, yet non-Ultimate. }

這正是 Open Ultimate 最重要的情況之一。

64. Example：知識封閉但生成開放

可以理論上有：

rep=0,r_{\mathrm{ep}}=0,

但：

rgen>0.r_{\mathrm{gen}}>0.

即某個觀察者對當前規則與所有可能後繼具有 complete knowledge，

但未來仍會實際生成新的歷史。

這說明：

Omniscience−likeKnowledge≠GenerativeTerminality\boxed{ Omniscience-likeKnowledge \neq GenerativeTerminality }

在概念上可分離。

65. Example：生成封閉但認識開放

反之也可有：

rgen=0,r_{\mathrm{gen}}=0,

但：

rep>0.r_{\mathrm{ep}}>0.

即一個系統已經 terminal，

但觀察者仍不知道全部狀態。

因此：

EpistemicOpenness≠GenerativeOpenness.\boxed{ EpistemicOpenness \neq GenerativeOpenness. }

再次成立。

66. 「永遠差一點」不是時間預言

OU-MA：

X≠ΩX\neq\Omega

不是在預測：

一百億年後模型仍然只差一點。

它是一個 type-level rule。

因此：

OpenUltimate\boxed{ OpenUltimate }

不是時間尺度預測。

它是：

anti−identity−collapseconstraint.\boxed{ anti-identity-collapse constraint. }

67. Temporal approximation 仍可存在

對歷史模型：

X(t),X(t),

可以有：

rmet(X(t))↓.r_{\mathrm{met}}(X(t))\downarrow.

這是 empirical / epistemic progress。

所以 Open Ultimate 完全容許：

Progress.\boxed{ Progress. }

它反對的只是：

Progress⇒SelfDeification.\boxed{ Progress \Rightarrow SelfDeification. }

68. Boundary and breakthrough

如果當前 frontier：

F(t)\mathfrak F(t)

被新理論突破：

Y≻F(t),Y\succ\mathfrak F(t),

則：

F(t+Δt)\mathfrak F(t+\Delta t)

更新。

因此：

Boundary\boxed{ Boundary }

可以是研究目標，

而不是悲觀封鎖線。

69. Open Ultimate 的研究倫理

OU-MA 對研究的實際態度不是：

不可能做到，所以別研究。

而是：

PushFrontierWithoutDeclaringFrontierUltimate.\boxed{ PushFrontierWithoutDeclaringFrontierUltimate. }

即：

  • 可以追求極高精度；
  • 可以追求大統一；
  • 可以追求形式完備；
  • 可以追求自動化研究；
  • 可以追求新的 quasi-Ultimate；

但不把任何當代 frontier 偷換成：

Ω.\Omega.

70. Indefinite extensibility 的限制性借用

Linnebo 對 Dummett indefinite extensibility 的分析試圖精確化某些概念「每當形成一個足夠明確的總體，就可依該總體再擴張」的思想。

Paper 08 只借用這個比較座標來說明：

OpenEndedness\boxed{ OpenEndedness }

可以有比「模糊」更精確的結構。

但本文不主張：

UltimateUltimate

本身是一個 Dummettian indefinitely extensible concept。

兩者：

Analogy≠Identity.\boxed{ Analogy \neq Identity. }

71. Order convergence 的限制性借用

現代 order-theoretic work 區分多種 order convergence，並研究何時 order continuity 可由拓撲結構表達。

Paper 08 由此得到的方法論提醒是：

If approximation is order−based,do not assume metric convergence.\boxed{ If\ approximation\ is\ order-based, do\ not\ assume\ metric\ convergence. }

因此：

0+0^+

不能在所有偏序結構中被理解成普通 ε\varepsilon -距離。

72. Paper 08 的 canonical principles

RES-1：殘差必須有型別

NoResidueWithoutType.NoResidueWithoutType.

RES-2： 0+0^+ 非普通固定實數

0+0^+

只作 typed open-limit shorthand。

MET-1：metric residue 需合法 scalarization

rmet=1−ar_{\mathrm{met}} = 1-a

只在 aa 合法定義時使用。

TYPE-1：score saturation 非 Ultimate identity

rmet=0⇏rtype=0.r_{\mathrm{met}}=0 \not\Rightarrow r_{\mathrm{type}}=0.

ORD-1：偏序用 order residue

若沒有 metric，不強造 metric residue。

BND-1：boundary 需 ambient completion

Boundary⇒specified ambient structure.Boundary \Rightarrow \text{specified ambient structure}.

BND-2：model boundary 非 Ultimate

Ω~∈∂M^⇏Ω~=Ω.\widetilde\Omega\in\partial\widehat{\mathfrak M} \not\Rightarrow \widetilde\Omega=\Omega.

NDA-1：有限未抵達非無極限

FiniteNonAttainment⇏NoLimit.FiniteNonAttainment \not\Rightarrow NoLimit.

NDA-2：極限非身份

LimitAttainment⇏UltimateIdentity.LimitAttainment \not\Rightarrow UltimateIdentity.

EPI-1：不可窮盡非不可知

NonExhaustibility⇏Unknowability.NonExhaustibility \not\Rightarrow Unknowability.

SKEP-1：Open Ultimate 非激進懷疑

OpenUltimate≠RadicalSkepticism.OpenUltimate \neq RadicalSkepticism.

GEN-1：epistemic residue 非 generative residue

0ep+≠0gen+.0^+_{\mathrm{ep}} \neq 0^+_{\mathrm{gen}}.

CRIT-1：criterion family 也可以 open

Qt⊊Qt+1\mathcal Q_t \subsetneq \mathcal Q_{t+1}

是允許結構。

73. 五個核心命題

命題 73.1：Zero Metric Residue Does Not Collapse Type

若：

rmet(X)=0,r_{\mathrm{met}}(X)=0,

只得到：

a(X)=1.a(X)=1.

依 OU-MA：

X≠Ω.X\neq\Omega.

因此：

rmet=0∧rtype>0type\boxed{ r_{\mathrm{met}}=0 \wedge r_{\mathrm{type}}>0_{\mathrm{type}} }

可同時成立。

命題 73.2：Finite Non-Attainment Is Compatible with Convergence

存在：

Xn≠LX_n\neq L

對所有有限 nn，

但：

Xn→L.X_n\to L.

因此：

NeverAtFiniteStage∧Convergent\boxed{ NeverAtFiniteStage \wedge Convergent }

相容。

命題 73.3：Boundary Membership Is Model-Relative

若 model space 擴張：

M⊊M′,\mathfrak M \subsetneq \mathfrak M',

則某：

b∈∂Mb\in\partial\mathfrak M

可以成為：

b∈int⁡M′.b\in\operatorname{int}\mathfrak M'.

因此：

ModelBoundary\boxed{ ModelBoundary }

不是絕對 Ultimate boundary。

命題 73.4：Arbitrary Adequacy Is Compatible with OU-MA

若：

∀ε>0,∃Xε:rmet(Xε)<ε,\forall\varepsilon>0, \quad \exists X_\varepsilon : r_{\mathrm{met}}(X_\varepsilon)<\varepsilon,

仍可以：

∀ε>0,Xε≠Ω.\forall\varepsilon>0, \quad X_\varepsilon\neq\Omega.

因此：

ArbitrarilyAdequate+NonUltimate\boxed{ ArbitrarilyAdequate + NonUltimate }

相容。

命題 73.5：Epistemic and Generative Openness Are Independent in Principle

存在概念模型使：

rep=0,rgen>0,r_{\mathrm{ep}}=0, \quad r_{\mathrm{gen}}>0,

也存在概念模型使：

rep>0,rgen=0.r_{\mathrm{ep}}>0, \quad r_{\mathrm{gen}}=0.

因此：

EpistemicOpenness≢GenerativeOpenness.\boxed{ EpistemicOpenness \not\equiv GenerativeOpenness. }

74. 對「永遠差一點」舊語言的保留、修正與放棄

74.1 保留

保留：

Model≠Ultimate.\boxed{ Model \neq Ultimate. }

保留：

ApproachWithoutIdentity.\boxed{ ApproachWithoutIdentity. }

保留：

OpenResidue.\boxed{ OpenResidue. }

74.2 修正

把單一：

0+0^+

拆成：

0ep+,0gen+,0type+,0crit+.0^+_{\mathrm{ep}}, \quad 0^+_{\mathrm{gen}}, \quad 0^+_{\mathrm{type}}, \quad 0^+_{\mathrm{crit}}.

把「差距」分成：

metric,order,frontier,type.metric, \quad order, \quad frontier, \quad type.

把「邊界」改成 completion-relative concept。

74.3 放棄作 canonical axiom

不再預設：

d(Ω~,Ω)d(\widetilde\Omega,\Omega)

一定存在。

不再預設：

0+0^+

是普通 infinitesimal。

不再預設：

NonAttainment=NoKnowledge.NonAttainment = NoKnowledge.

不再預設：

AllModelDomainsAllModelDomains

都 indefinitely extensible。

不再預設：

Boundary=Ultimate.Boundary = Ultimate.

75. 一句話版本

「永遠差一點」不是說我們永遠失敗，而是說任何模型側的完成度，都不能在沒有額外論證時被偷換成 Ultimate 的身份。

形式：

rmet(Xn)→0\boxed{ r_{\mathrm{met}}(X_n)\to0 }

可以成立，

同時：

Xn≠Ω.\boxed{ X_n\neq\Omega. }

因此：

ApproachWithoutSelfDeification.\boxed{ ApproachWithoutSelfDeification. }

就是 Paper 08 的核心。

76. 結論： 0+0^+ 不是悲觀，而是一道開放閥

若把：

0+0^+

理解成：

永遠差一點，所以永遠不能成功，

那會把 Open Ultimate 讀成悲觀主義。

Paper 08 的結論完全相反。

0+0^+

真正保護的是兩件事。

第一，它保護：

Progress.\boxed{ Progress. }

因為只要 frontier 仍可推進，

我們就可以：

X0≺X1≺X2≺⋯ .X_0 \prec X_1 \prec X_2 \prec \cdots.

第二，它保護：

Openness.\boxed{ Openness. }

因為任何一個：

XnX_n

都不能只靠自己目前最強，就宣布：

Xn=Ω.X_n=\Omega.

所以：

0+\boxed{ 0^+ }

不是「永遠不夠好」。

而是：

再好，也不能取消還存在其他可能性的權利。

這也讓 Paper 06 的 generative openness 與 Paper 07 的 epistemic openness 完整接上：

0+=(0ep+,0crit+,0type+,0gen+).\boxed{ \mathbf 0^+ = \left( 0^+_{\mathrm{ep}}, 0^+_{\mathrm{crit}}, 0^+_{\mathrm{type}}, 0^+_{\mathrm{gen}} \right). }

它們共同形成：

OpenResidueArchitecture.\boxed{ OpenResidueArchitecture. }

於是：

OpenUltimateOpenUltimate

不再只是：

終極不是終點。

而進一步成為：

the Ultimate cannot be exhausted by model completion, criterion closure, identity collapse, or necessary generative termination.\boxed{ \text{the Ultimate cannot be exhausted by model completion, criterion closure, identity collapse, or necessary generative termination.} }

至此，Paper 07–08 完成第二個核心區塊：

O∼Ω+TypedApproximation+QuasiUltimateFrontier+OpenResidue.\boxed{ O\sim\Omega + TypedApproximation + QuasiUltimateFrontier + OpenResidue. }

下一篇 Paper 09 將轉向另一個核心命題：

萬物皆真.\boxed{ 萬物皆真. }

但新版不會寫成：

EverythingSaidIsTrue.EverythingSaidIsTrue.

而會嚴格分離：

ExistenceReality\boxed{ ExistenceReality }

與：

TruthCorrespondence,Power,Weight,Value.\boxed{ TruthCorrespondence, Power, Weight, Value. }

也就是重新建立：

AllReal⇏AllEquivalent.\boxed{ AllReal \not\Rightarrow AllEquivalent. }

參考文獻與比較座標

  1. Linnebo, Øystein. “Dummett on Indefinite Extensibility.” Philosophical Issues 28(1), 2018.
  2. Dummett, Michael. Works introducing and developing the notion of indefinitely extensible concepts.
  3. Hauser, Till; Kalauch, Anke. Work on order convergence and order continuity in partially ordered structures.
  4. van der Zypen, Dominic. “Order Convergence and Compactness.”
  5. Literature on directed completeness, suprema, order convergence, topological completion and boundary.
  6. Literature on scientific models, approximation and idealization.

上述文獻只作 indefinite extensibility、order convergence、boundary、supremum 與 model approximation 的比較座標。本文的 rmetr_{\mathrm{met}} 、 rordr_{\mathrm{ord}} 、 rtyper_{\mathrm{type}} 、 repr_{\mathrm{ep}} 、 rgenr_{\mathrm{gen}} 、 0type+0^+_{\mathrm{type}} 、OpenResidueArchitecture 與 Ultimate non-identity 均依本文 canonical definitions 使用。

尤其：本文不宣稱 Dummett 式 indefinite extensibility 證明 Open Ultimate；不宣稱所有模型域都 indefinitely extensible；不宣稱 Ω~\widetilde\Omega 與 Ω\Omega 存在普通 metric distance；也不把 0+0^+ 當成未經定義即可使用的標準 infinitesimal。

END OF PAPER 08 — v0.1 Canonical Reconstruction