← Archive
lm-004331 · 2026-10

有限、無界與無限：Boundedness、Unbounded Quantification 與 Completion

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

有限、無界與無限：Boundedness、Unbounded Quantification 與 Completion

系列：形式封閉與過程完備：AI 數學證明的下一步問題
Paper 03
作者：Neo.K / EveMissLab Research Series
版本：v0.1 — 2026-09-11

機構： EveMissLab／一言諾科技有限公司
日期： 2026-09-11

摘要

在分析學、偏微分方程、動力系統與形式化證明中，「有界」、「無界」與「無限」經常在自然語言中被壓縮成近似相同的敘述，但它們在邏輯結構上並不等價。尤其是命題

∀M<∞,∃xM:  F(xM)>M\forall M<\infty,\quad \exists x_M:\;F(x_M)>M

標準上只證明 FF 沒有有限統一上界；它並不自動構成一個「無限值狀態」，也不自動提供一條由有限狀態逐步生成至某個無限終點的 trajectory。另一方面，若證明同時依賴某種 boundedness，例如

∃C<∞,∀t<T:  E(t)≤C,\exists C<\infty,\quad \forall t<T:\;E(t)\le C,

則還必須區分：這個 bound 是由獨立先驗估計得到、由最終構造反推得到，還是僅僅在某組量詞順序下存在。

本文建立 Boundedness Audit、Unbounded Quantifier Audit 與 Completion Audit 三層框架，分析以下幾個核心差異：

arbitrarily large finite≠actual infinite state\boxed{ \text{arbitrarily large finite} \neq \text{actual infinite state} } uniform boundedness≠stagewise boundedness\boxed{ \text{uniform boundedness} \neq \text{stagewise boundedness} } ∀M∃xM≠∃(xM)M with a coherent generating path\boxed{ \forall M\exists x_M \neq \exists (x_M)_M\text{ with a coherent generating path} }

以及：

quantified completion≠process completion\boxed{ \text{quantified completion} \neq \text{process completion} }

本文並指出：標準古典分析可以完全合法地以完成的自然數、實數、極限、完備性、對角化與選擇原理處理這些命題；本文的目的不是否定這些工具，而是要求在 process-sensitive theorem 中清楚標示哪一步只是邏輯量詞閉合，哪一步真的是原動態過程的 continuation。這一區分將直接為後續 Paper 04 的 diagonal realization 與 hidden completion operator 分析提供基礎。

關鍵詞

有界、無界、無限、uniform bound、stagewise bound、quantifier order、completed infinity、potential infinity、completion operator、diagonalization、PDE、形式化證明、AI 數學

1. 三個詞必須先拆開：有限、有界、無限

令：

F:X→R.F:X\to\mathbb R.

我們說 FF 有界，通常指存在：

C<∞C<\infty

使：

∀x∈X,∣F(x)∣≤C.\forall x\in X,\quad |F(x)|\le C.

也就是：

∃C<∞  ∀x∈X:  ∣F(x)∣≤C.\exists C<\infty\;\forall x\in X:\;|F(x)|\le C.

相反地， FF 無界則可寫成：

∀C<∞,∃x∈X:  ∣F(x)∣>C.\forall C<\infty,\quad \exists x\in X:\;|F(x)|>C.

注意這裡所有出現的 CC 都仍然是有限實數。

因此：

unbounded\boxed{ \text{unbounded} }

在邏輯上並不要求存在一個：

x∞x_\infty

使：

∣F(x∞)∣=∞.|F(x_\infty)|=\infty.

標準數學完全可以只用：

∀C<∞∃xC\forall C<\infty\exists x_C

來定義無界。

所以第一個基礎區分是：

無界≠存在無限值狀態\boxed{ \text{無界} \neq \text{存在無限值狀態} }

這個區分本身沒有爭議。

真正需要被審計的是：研究者是否在後續語言中，把「不存在有限共同上界」描述成「系統實際抵達一個無限狀態」。

2. Arbitrarily Large Finite 不等於 Actual Infinity

考慮序列：

an=n.a_n=n.

我們有：

∀M<∞,∃n∈N:  an>M.\forall M<\infty,\quad \exists n\in\mathbb N:\;a_n>M.

因此 (an)(a_n) 無界。

但對每個有限 nn：

an<∞.a_n<\infty.

不存在有限索引：

N∈NN\in\mathbb N

使：

aN=∞.a_N=\infty.

所以：

1,2,3,…1,2,3,\ldots

的「沒有有限上界」與「存在某個無限項」是不同命題。

這可以寫成：

∀M∃n:  an>M\boxed{ \forall M\exists n:\;a_n>M }

不推出：

∃N:  aN=∞\boxed{ \exists N:\;a_N=\infty }

更不推出：

aN→a∞\boxed{ a_N\to a_\infty }

其中 a∞a_\infty 是原序列的一個實際 successor state。

3. 無界命題本身沒有錯，錯的是語義升格

本文並不主張：

∀M∃xM\forall M\exists x_M

是「不完整數學」。

在標準實分析中，它是完全成熟、嚴格而有力的命題。

問題只在於：

它到底被用來證明哪一種結論？

若結論只是：

F is unbounded,F\text{ is unbounded},

那麼：

∀M∃xM:  F(xM)>M\forall M\exists x_M:\;F(x_M)>M

已經足夠。

若結論是：

存在某個有限時間的 singular boundary，使 smooth continuation 不可能,\text{存在某個有限時間的 singular boundary，使 smooth continuation 不可能},

那麼只要再加上適當的 continuity、embedding 或 continuation theorem，也可能完全足夠。

但若自然語言進一步說：

「系統走到了無限」,\text{「系統走到了無限」},

則必須額外說明：

「無限」到底是 extended-real value、boundary behavior、nonextendability，還是真正狀態。\text{「無限」到底是 extended-real value、boundary behavior、nonextendability，還是真正狀態。}

所以本文要求：

claim scope must match quantifier scope.\boxed{ \text{claim scope must match quantifier scope}. }

4. Boundedness 也不是單一概念

現在考慮：

E(t).E(t).

「 EE 有界」可能至少有四種不同意思。

4.1 Pointwise Finite

∀t<T,E(t)<∞.\forall t<T,\quad E(t)<\infty.

這只保證每個時間點 individually finite。

它不保證存在共同 bound。

4.2 Stagewise Bounded

對每個有限區間：

[0,Tn],Tn<T,[0,T_n], \quad T_n<T,

存在：

Cn<∞C_n<\infty

使：

∀t≤Tn,E(t)≤Cn.\forall t\le T_n,\quad E(t)\le C_n.

這可以寫成：

∀n,∃Cn<∞,∀t≤Tn:  E(t)≤Cn.\forall n,\quad \exists C_n<\infty,\quad \forall t\le T_n:\;E(t)\le C_n.

但 CnC_n 可能隨 nn 發散。

因此不推出：

∃C<∞,∀t<T:  E(t)≤C.\exists C<\infty,\quad \forall t<T:\;E(t)\le C.

4.3 Uniformly Bounded up to the Boundary

真正的 uniform boundedness 是：

∃C<∞,∀t<T:  E(t)≤C.\exists C<\infty,\quad \forall t<T:\;E(t)\le C.

量詞順序極其重要：

∃C∀t\boxed{ \exists C\forall t }

和：

∀t∃Ct\boxed{ \forall t\exists C_t }

不是同一件事。

4.4 Uniform Bound with Constructive Modulus

若還要求演算法性，可進一步要求 CC 具有可構造來源，或：

C=B(D0,parameters),C=\mathcal B(D_0,\text{parameters}),

其中 B\mathcal B 是可計算 bound generator。

這又比單純 existence 強。

5. 量詞順序是 boundedness 的第一個審計點

以下兩式差異巨大：

∀t<T,∃Ct<∞:  E(t)≤Ct\forall t<T,\quad \exists C_t<\infty:\;E(t)\le C_t

與：

∃C<∞,∀t<T:  E(t)≤C.\exists C<\infty,\quad \forall t<T:\;E(t)\le C.

前者幾乎只是在說：

E(t)E(t)

對每個固定 tt 是有限值。

後者才是真正 uniform boundedness。

因此 Boundedness Audit 的第一個問題是：

bound quantifier order\boxed{ \text{bound quantifier order} }

必須明確。

同樣地：

∀n∃Cn\forall n\exists C_n

與：

∃C∀n\exists C\forall n

也不能混用。

6. 有界性的來源：先驗、後驗、反推

即使真正證明：

∃C∀t<T:  E(t)≤C,\exists C\forall t<T:\;E(t)\le C,

還需要問：

這個 CC 從哪裡來？

本文區分三種來源。

6.1 A Priori Bound

先從方程、守恆律或能量不等式得到：

E(t)≤Φ(E(0),F,ν,…).E(t)\le \Phi(E(0),F,\nu,\ldots).

此時 bound 在 trajectory 完成之前就被獨立控制。

6.2 A Posteriori Bound

先構造完整 candidate trajectory：

u(x,t),u(x,t),

再直接計算：

E(t)E(t)

並證明：

sup⁡t<TE(t)<∞.\sup_{t<T}E(t)<\infty.

這在存在性數學中完全合法。

但它的生成語義不同於 a priori control。

6.3 Reverse-Engineered Bound

先指定希望得到的 trajectory，再選取外部自由度或 forcing，使：

E(t)E(t)

最後滿足某些估計。

此時 boundedness 可能仍然是正確 theorem，但其 causal reading 必須非常小心。

所以：

boundedness theorem≠boundedness mechanism.\boxed{ \text{boundedness theorem} \neq \text{boundedness mechanism}. }

7. Boundedness Audit Schema

對任何宣稱：

E(t)≤C,E(t)\le C,

至少應檢查：

BoundType⁡\operatorname{BoundType}

是 pointwise、stagewise 還是 uniform；

QuantifierOrder⁡;\operatorname{QuantifierOrder}; BoundSource⁡;\operatorname{BoundSource}; ParameterDependence⁡;\operatorname{ParameterDependence}; TimeDependence⁡;\operatorname{TimeDependence}; BranchDependence⁡;\operatorname{BranchDependence};

以及：

IndependentOfTargetConclusion⁡.\operatorname{IndependentOfTargetConclusion}.

最後一項特別重要。

如果 CC 的存在依賴於整個最終 target object 已經被完成，那麼它仍可以是合法 a posteriori theorem，但不能無條件描述成「這個 bound 驅動了過程」。

8. 無界量詞到底證明了什麼？

考慮：

∀M>0,∃tM<T:  A(tM)>M.\forall M>0,\quad \exists t_M<T:\;A(t_M)>M.

這直接證：

sup⁡t<TA(t)=∞.\sup_{t<T}A(t)=\infty.

或：

AA

在 [0,T)[0,T) 上無界。

若再有：

tM→T,t_M\to T,

則可得到 boundary blowup 型 statement，例如：

lim sup⁡t↑TA(t)=∞.\limsup_{t\uparrow T}A(t)=\infty.

但即使如此，也仍然沒有：

A(T)=∞A(T)=\infty

除非 AA 被定義到 extended real 或其他 enlarged state space。

因此：

lim sup⁡t↑TA(t)=∞\boxed{ \limsup_{t\uparrow T}A(t)=\infty }

應解讀為：

no finite uniform bound survives approaching T.\text{no finite uniform bound survives approaching }T.

不應自動解讀為：

system has entered an infinite-valued state at T.\text{system has entered an infinite-valued state at }T.

9. Boundary Failure 與 Infinite State 必須分開

在很多 PDE theorem 中，真正證的是：

u(t)u(t)

對：

t<Tt<T

存在且 smooth，

但：

∥u(t)∥X\|u(t)\|_X

在：

t↑Tt\uparrow T

時無界。

接著用 continuation criterion：

sup⁡t<T∥u(t)∥X<∞⇒smooth continuation past T.\sup_{t<T}\|u(t)\|_X<\infty \Rightarrow \text{smooth continuation past }T.

取 contrapositive 或矛盾，可得：

no smooth continuation past T.\text{no smooth continuation past }T.

這裡真正的結論是：

boundary nonextendability\boxed{ \text{boundary nonextendability} }

不是：

an actual infinite state exists.\boxed{ \text{an actual infinite state exists}. }

因此本文建議對 singularity 類 theorem 至少區分：

S1:norm unboundedness,\mathsf{S}_1: \text{norm unboundedness}, S2:boundary nonextendability,\mathsf{S}_2: \text{boundary nonextendability}, S3:extended-state infinity,\mathsf{S}_3: \text{extended-state infinity}, S4:physical singular event.\mathsf{S}_4: \text{physical singular event}.

通常：

S1\mathsf{S}_1

在適當條件下可以推出：

S2.\mathsf{S}_2.

但：

S2\mathsf{S}_2

不自動推出：

S3\mathsf{S}_3

更不自動推出：

S4.\mathsf{S}_4.

10. 「所有有限」本身是一種 completed quantification

命題：

∀n∈N,P(n)\forall n\in\mathbb N,\quad P(n)

在古典數學中把：

N\mathbb N

當成一個完成的對象。

因此一個有限 proof term 可以表達：

all finite n.\text{all finite }n.

這是 completed infinity 的典型使用方式。

同樣地：

∀M∈R>0\forall M\in\mathbb R_{>0}

也量化了一個無界集合。

本文不否定這種語義。

但若研究目標具有 process meaning，需要區分：

completed quantification over all finite stages\text{completed quantification over all finite stages}

與：

one process actually traversing arbitrarily many stages.\text{one process actually traversing arbitrarily many stages}.

這兩者的差異可寫成：

∀n  P(n)\boxed{ \forall n\;P(n) }

與：

∃τ,∀n  P(τ↾n)\boxed{ \exists\tau,\quad \forall n\;P(\tau\upharpoonright n) }

其中：

τ↾n\tau\upharpoonright n

是同一條 trace 的前綴。

11. Potential Infinity 與 Completed Infinity

為了避免混淆，本文使用兩個術語。

11.1 Potential Infinity

表示：

∀n,process can continue to stage n.\forall n,\quad \text{process can continue to stage }n.

也就是：

no finite stage is terminal.\text{no finite stage is terminal}.

11.2 Completed Infinity

表示整個：

{Sn}n∈N\{S_n\}_{n\in\mathbb N}

已作為一個數學對象被量化或使用。

標準集合論、實分析與形式證明普遍允許 Completed Infinity。

真正的審計問題是：

theorem 是否只需要 completed object，還是它在自然語言上宣稱了一個 potential process 被實際完成？

因此：

Completed Infinity is a logical resource, not automatically a process event.\boxed{ \text{Completed Infinity is a logical resource, not automatically a process event.} }

12. 「每個有限階段都可以」不等於「存在共同完成結構」

假設：

∀N,∃xN\forall N,\quad \exists x_N

滿足前 NN 個 constraints：

C1,…,CN.C_1,\ldots,C_N.

也就是：

∀N,∃xN:⋀k≤NCk(xN).\forall N,\quad \exists x_N: \bigwedge_{k\le N}C_k(x_N).

這不自動推出：

∃x∗:∀k,Ck(x∗).\exists x_*: \forall k,\quad C_k(x_*).

除非再使用某種額外原理，例如：

  • compactness；
  • completeness；
  • diagonal argument；
  • finite intersection property；
  • ultrafilter；
  • choice；
  • model compactness；
  • explicit limit theorem。

因此從：

all finite subsystems satisfiable\text{all finite subsystems satisfiable}

到：

one object satisfies all constraints\text{one object satisfies all constraints}

之間存在新的箭頭：

C:finite satisfiability→global satisfiability.\boxed{ \mathcal C: \text{finite satisfiability} \to \text{global satisfiability}. }

這就是 Completion Operator 的雛形。

13. Quantifier Completion 與 Object Completion

考慮：

∀N,∃xN:  PN(xN).\forall N,\exists x_N:\;P_N(x_N).

這是 Quantifier Completion。

而：

∃x∗:∀N,  PN(x∗)\exists x_*:\forall N,\;P_N(x_*)

是 Object Completion。

兩者不是同一句話。

更進一步：

xN→x∗x_N\to x_*

則是 Trajectory/Limit Completion。

因此至少有三層：

Q:∀N∃xN,\mathsf{Q}: \forall N\exists x_N, O:∃x∗∀N,\mathsf{O}: \exists x_*\forall N, L:xN→x∗.\mathsf{L}: x_N\to x_*.

通常：

L\mathsf{L}

在條件足夠時可支持：

O,\mathsf{O},

但：

Q\mathsf{Q}

本身不支持：

O.\mathsf{O}.

所以：

quantifier closure≠object closure.\boxed{ \text{quantifier closure} \neq \text{object closure}. }

14. 量詞交換是最危險的語義漂移之一

比較：

∀N,∃δN>0:  P(N,δN)\forall N,\exists \delta_N>0:\;P(N,\delta_N)

與：

∃δ>0,∀N:  P(N,δ).\exists \delta>0,\forall N:\;P(N,\delta).

第一式允許：

δN→0.\delta_N\to0.

第二式要求一個共同正半徑。

兩者差異極大。

同樣地：

∀m,N,∃J,δ:  P(m,N,J,δ)\forall m,N,\exists J,\delta:\;P(m,N,J,\delta)

不能被自然語言壓縮成：

存在一個固定 J,δJ,\delta 同時處理所有階數。

除非真的證明：

∃J,δ,∀m,N:  P(m,N,J,δ).\exists J,\delta,\forall m,N:\;P(m,N,J,\delta).

因此本文把：

∀∃→∃∀\boxed{ \forall\exists \to \exists\forall }

稱為 Quantifier Promotion。

任何未證明的 Quantifier Promotion 都應視為重大語義錯位。

15. 對角化為什麼能合法跨過某些量詞障礙？

對角化的核心通常不是直接交換：

∀n∃xn\forall n\exists x_n

成：

∃x∀n.\exists x\forall n.

而是構造一個 sequence：

x1,x2,…x_1,x_2,\ldots

使第 nn 階至少滿足前 nn 個條件，並控制後續修改不破壞前面已滿足的條件。

例如：

xn+1=xn+Δnx_{n+1} = x_n+\Delta_n

且：

∥Δn∥\|\Delta_n\|

快速下降。

若可證：

∑n∥Δn∥<∞,\sum_n\|\Delta_n\|<\infty,

則可能得到：

xn→x∗.x_n\to x_*.

再利用 closedness 或 continuity 得：

∀k,Ck(x∗).\forall k,\quad C_k(x_*).

這是一個真正的 completion argument。

但它包含多個非平凡箭頭：

finite correction→Cauchy control→limit existence→property transfer.\text{finite correction} \to \text{Cauchy control} \to \text{limit existence} \to \text{property transfer}.

如果任何一個箭頭不是原過程的 successor，而是額外 completion machinery，就應明確標示。

16. 無限階消除變量不會自動替代路徑證明

考慮一個證明策略：

R0→R1→R2→⋯R_0 \to R_1 \to R_2 \to\cdots

其中：

RnR_n

表示第 nn 階 residual。

若：

RnR_n

對任何固定 derivative order 越來越小，我們可能得到：

∀m,∀N,R is flat to order N.\forall m,\forall N,\quad R\text{ is flat to order }N.

但要注意：

all-order flatness\boxed{ \text{all-order flatness} }

與：

R≡0\boxed{ R\equiv0 }

一般不等價。

典型例子：

f(x)={e−1/x2,x>0,0,x≤0.f(x)= \begin{cases} e^{-1/x^2}, & x>0,\\ 0, & x\le0. \end{cases}

在 x=0x=0：

f(k)(0)=0f^{(k)}(0)=0

對所有 kk 成立，

但：

f(x)>0f(x)>0

對 x>0x>0 成立。

所以：

vanishing to all orders at a boundary≠global zero.\boxed{ \text{vanishing to all orders at a boundary} \neq \text{global zero}. }

這個例子非常重要。

它說明「無限階消除」可以產生：

flat residual\text{flat residual}

而不是：

exactly zero residual.\text{exactly zero residual}.

若 theorem 只需要 smooth/flat forcing，這可以足夠。

若 theorem 需要 unforced equation：

f≡0,f\equiv0,

那就不夠。

17. 有界到無界的真正邏輯形式

假設一個量：

E(t)E(t)

保持 uniform bounded：

∃C<∞,∀t<T:  E(t)≤C.\exists C<\infty,\quad \forall t<T:\;E(t)\le C.

另一個量：

A(t)A(t)

則滿足：

∀M<∞,∃tM<T:  A(tM)>M.\forall M<\infty,\quad \exists t_M<T:\;A(t_M)>M.

這兩件事可以同時成立，只要 EE 與 AA 是不同 functional。

例如：

E(t)=∥u(t)∥L2E(t)=\|u(t)\|_{L^2}

與：

A(t)=∥u(t)∥L∞.A(t)=\|u(t)\|_{L^\infty}.

集中現象可以讓：

L∞→∞L^\infty\to\infty

同時：

L2L^2

保持有界。

因此「有界」與「無界」若作用在不同 norm 上，本身沒有矛盾。

真正需要審計的是：

哪一個 quantity 被稱為 bounded，哪一個 quantity 被稱為 blowup？\boxed{ \text{哪一個 quantity 被稱為 bounded，哪一個 quantity 被稱為 blowup？} }

如果自然語言把兩者都簡化成「流體速度」，便可能造成錯誤直覺。

18. Norm Migration：從一個有界空間跳到另一個無界空間

令：

X↪YX\hookrightarrow Y

表示某種 embedding。

如果：

∥u∥X\|u\|_X

有界，但：

∥u∥Y\|u\|_Y

無界，這是否可能取決於 embedding 方向與尺度。

例如在無窮維函數空間中：

L∞L^\infty

可以無界而：

L2L^2

仍有界。

因此：

boundedness is norm-relative.\boxed{ \text{boundedness is norm-relative}. }

對 PDE proof 的審計，不應只問：

有沒有 bound？

而要問：

BoundedIn⁡(X)\operatorname{BoundedIn}(X)

與：

UnboundedIn⁡(Y)\operatorname{UnboundedIn}(Y)

之間的關係。

並且檢查：

X→YX\to Y

是否存在連續 embedding、compact embedding 或完全沒有直接控制。

19. Completion Time 與 Terminal Boundary

當 proof 使用：

t↑Tt\uparrow T

時， TT 可能有三種角色。

19.1 Interior State Time

u(T)u(T)

真的屬於解的定義域。

19.2 Boundary Time

解只定義在：

[0,T).[0,T).

此時 TT 只是 domain boundary。

19.3 Extended Completion Time

透過某種 completion，把：

u(T)u(T)

定義成 limit、weak limit 或 extended state。

這三種不能混用。

因此：

t↑T\boxed{ t\uparrow T }

不自動等價：

t=T is an actual state.\boxed{ t=T\text{ is an actual state}. }

對 finite-time blowup 類 theorem，這個區分尤其重要。

20. 「有限速度下的無限旋轉」應如何精確拆解？

自然語言可能說：

流體旋轉越來越快，最後形成無限旋轉。

形式上至少有四種可能：

ω(t)→∞\omega(t)\to\infty

在：

t↑T;t\uparrow T;

或：

sup⁡t<Tω(t)=∞;\sup_{t<T}\omega(t)=\infty;

或：

ω(T)=∞\omega(T)=\infty

在 extended real sense；

或：

physical system reaches infinite angular velocity.\text{physical system reaches infinite angular velocity}.

前兩者可以是純數學 boundary behavior。

第三者需要 enlarged codomain。

第四者則跨到物理 ontology。

所以：

mathematical divergence≠physical infinite event.\boxed{ \text{mathematical divergence} \neq \text{physical infinite event}. }

這不是削弱 theorem。

只是把 theorem 的語義範圍鎖回它實際證明的層。

21. Finite-to-Infinite Arrow 必須被分類

本文建議把：

finite information→infinite/global conclusion\text{finite information} \to \text{infinite/global conclusion}

的箭頭分成至少五類：

21.1 Inductive Arrow

P(n)→P(n+1).P(n)\to P(n+1).

21.2 Limit Arrow

xn→x.x_n\to x.

21.3 Compactness Arrow

(xn)→(xnk)→x.(x_n) \to (x_{n_k}) \to x.

21.4 Diagonal Arrow

{xn(m)}→x∗.\{x_n^{(m)}\} \to x^*.

21.5 Choice Arrow

∀n∃xn→∃f:N→X.\forall n\exists x_n \to \exists f:\mathbb N\to X.

這些箭頭都可能完全合法。

但它們不是同一種 semantic transition。

因此 proof graph 必須標注：

ArrowType⁡.\operatorname{ArrowType}.

22. Completion Audit Schema

對任何：

C:{Sn}↦S∗,\mathcal C: \{S_n\} \mapsto S_*,

至少應檢查：

InputFamily⁡(C),\operatorname{InputFamily}(\mathcal C), CompatibilityAssumption⁡(C),\operatorname{CompatibilityAssumption}(\mathcal C), ConvergenceMode⁡(C),\operatorname{ConvergenceMode}(\mathcal C), Uniqueness⁡(C),\operatorname{Uniqueness}(\mathcal C), PropertyTransfer⁡(C),\operatorname{PropertyTransfer}(\mathcal C), BranchPreservation⁡(C),\operatorname{BranchPreservation}(\mathcal C), Computability⁡(C),\operatorname{Computability}(\mathcal C),

以及：

OntologyPreservation⁡(C).\operatorname{OntologyPreservation}(\mathcal C).

最後一項問：

S∗S_* 還是不是原 process 中同類型的 state？

若不是，就不能把 completion operator 當成普通 successor。

23. 反事實構造與 bounded/unbounded

反證法常見形式：

H:global smooth bounded solution exists.H: \text{global smooth bounded solution exists}.

由 HH 推出：

Q.Q.

再由 construction 推出：

¬Q.\neg Q.

因此：

¬H.\neg H.

這在邏輯上完全正確。

但在 process audit 中還需額外區分：

counterfactual competitor\text{counterfactual competitor}

與：

constructed trajectory.\text{constructed trajectory}.

若一個 proof 在 constructed trajectory 上證明 unboundedness，再對 counterfactual competitor 使用 boundedness/uniqueness，則兩條 path 的身份必須清楚。

不能把：

uconstructedu_{\mathrm{constructed}}

與：

uhypotheticalu_{\mathrm{hypothetical}}

在還沒證明 equality 前直接混為同一個 state。

因此：

counterfactual identification\boxed{ \text{counterfactual identification} }

本身也是一條需要 theorem 支持的箭頭。

24. AI 為什麼容易在這裡只看表面正確？

對 AI theorem prover 而言：

∀M∃xM\forall M\exists x_M

是一個非常清楚的 logical goal。

如果 formal target 就是 unboundedness，它可以完美完成。

問題在於自然語言可能說：

「因此系統在有限時間形成無限奇點。」

AI 若只看 theorem surface，很容易接受這個 paraphrase。

因為：

unbounded norm\text{unbounded norm}

在數學文化中確實常被簡稱為 blowup。

但如果研究者真正關心：

actual path semantics,\text{actual path semantics},

AI 應額外問：

blowup means what ontology here?\text{blowup means what ontology here?} boundary divergence or actual state?\text{boundary divergence or actual state?} which norm?\text{which norm?} uniform or stagewise?\text{uniform or stagewise?} same trajectory or selected witnesses?\text{same trajectory or selected witnesses?}

這些問題不能只由 kernel 自動產生。

25. 一個三層「無限」分類法

本文提出：

I1\mathsf{I}_1 — Quantified Unboundedness

∀M<∞,∃xM:  F(xM)>M.\forall M<\infty,\exists x_M:\;F(x_M)>M.

I2\mathsf{I}_2 — Limit Divergence

存在 coherent path：

xnx_n

使：

F(xn)→∞.F(x_n)\to\infty.

I3\mathsf{I}_3 — Infinite-Valued State

存在：

x∗x_*

使：

F(x∗)=∞F(x_*)=\infty

在某個 extended state space 中成立。

通常：

I2⇒I1.\mathsf{I}_2\Rightarrow\mathsf{I}_1.

但：

I1\mathsf{I}_1

不自動推出：

I2,\mathsf{I}_2,

因為 witnesses xMx_M 可能不形成 coherent path。

而：

I2\mathsf{I}_2

也不自動推出：

I3,\mathsf{I}_3,

因為 limit boundary 不一定屬於 state space。

因此：

I1<I2<I3\boxed{ \mathsf{I}_1 < \mathsf{I}_2 < \mathsf{I}_3 }

表示語義強度逐步增加。

26. 一個三層「有界」分類法

對 boundedness 同樣提出：

B1\mathsf{B}_1 — Pointwise Finiteness

∀t<T,E(t)<∞.\forall t<T,\quad E(t)<\infty.

B2\mathsf{B}_2 — Stagewise Uniformity

∀T′<T,∃CT′<∞,∀t≤T′:E(t)≤CT′.\forall T'<T,\quad \exists C_{T'}<\infty,\quad \forall t\le T':E(t)\le C_{T'}.

B3\mathsf{B}_3 — Global Uniformity up to Boundary

∃C<∞,∀t<T:E(t)≤C.\exists C<\infty,\quad \forall t<T:E(t)\le C.

通常：

B3⇒B2⇒B1.\mathsf{B}_3\Rightarrow\mathsf{B}_2\Rightarrow\mathsf{B}_1.

反向一般不成立。

因此當一篇論文說：

solution remains bounded,

必須立刻問：

B1,B2, or B3?\mathsf{B}_1,\mathsf{B}_2,\text{ or }\mathsf{B}_3?

27. 對後續 NS 審計的直接意義

本系列後面分析 Navier–Stokes 時，本文提供四個必要問題：

第一：

kinetic-energy boundedness 是哪一級 Bi?\boxed{ \text{kinetic-energy boundedness 是哪一級 } \mathsf{B}_i? }

第二：

velocity blowup 是哪一級 Ii?\boxed{ \text{velocity blowup 是哪一級 } \mathsf{I}_i? }

第三：

兩者使用的是不是同一個 norm / state variable?\boxed{ \text{兩者使用的是不是同一個 norm / state variable?} }

第四：

從有限階段到 global smooth object 的 completion operator 是什麼？\boxed{ \text{從有限階段到 global smooth object 的 completion operator 是什麼？} }

只有把這四個問題分開，才能避免把：

bounded L2\text{bounded }L^2

與：

unbounded L∞\text{unbounded }L^\infty

錯誤當成直接矛盾，也能避免把：

lim sup⁡t↑T∥u(t)∥∞=∞\limsup_{t\uparrow T}\|u(t)\|_\infty=\infty

誤譯成：

u(T)=∞.u(T)=\infty.

28. 核心命題

本文的核心命題可濃縮為八句。

第一：

Arbitrarily large finite values do not constitute an infinite-valued state.\boxed{ \text{Arbitrarily large finite values do not constitute an infinite-valued state.} }

第二：

Unboundedness is a quantified property, not automatically a terminal state.\boxed{ \text{Unboundedness is a quantified property, not automatically a terminal state.} }

第三：

Pointwise finiteness is weaker than uniform boundedness.\boxed{ \text{Pointwise finiteness is weaker than uniform boundedness.} }

第四：

∀n∃Cn≠∃C∀n.\boxed{ \forall n\exists C_n \neq \exists C\forall n. }

第五：

∀M∃xM≠∃ coherent path (xM).\boxed{ \forall M\exists x_M \neq \exists\text{ coherent path }(x_M). }

第六：

All finite constraints satisfiable≠one global object satisfying all constraints.\boxed{ \text{All finite constraints satisfiable} \neq \text{one global object satisfying all constraints}. }

第七：

Completed quantification≠process completion.\boxed{ \text{Completed quantification} \neq \text{process completion}. }

第八：

A completion operator must be audited as an arrow of its own.\boxed{ \text{A completion operator must be audited as an arrow of its own.} }

29. 結論

「無限」在數學中可以有多種合法形式。

它可以是：

sup⁡F=∞,\sup F=\infty,

可以是：

F(xn)→∞,F(x_n)\to\infty,

也可以是在 extended codomain 中：

F(x∗)=∞.F(x_*)=\infty.

這些 statement 各自有精確的數學意義。

問題只出現在它們被自然語言、形式化工具或 AI proof narrative 壓縮成同一句：

「系統到了無限。」

同樣地，「有界」也不能只看每一個有限 stage individually finite，而必須確認是否存在共同 bound：

∃C∀t.\exists C\forall t.

更重要的是，若 proof 從所有有限階段的可滿足性跳到一個全域 object，這中間必然存在某種 completion mechanism。

因此本文提出：

Finite→Unbounded→Infinite\boxed{ \text{Finite} \to \text{Unbounded} \to \text{Infinite} }

不是一條自動箭頭。

每一次轉換都需要標明自己究竟使用：

quantification,\text{quantification}, limit,\text{limit}, compactness,\text{compactness}, diagonalization,\text{diagonalization}, choice,\text{choice},

還是：

actual process generation.\text{actual process generation}.

這個分類將直接引向下一篇。

30. 系列後續

下一篇將進入：

Paper 04 — 對角實現不是動態極限：Diagonal Realization、Borel Extension 與 Hidden Completion Operators

我們將正式研究：

{Sn}n∈N→CS∗\boxed{ \{S_n\}_{n\in\mathbb N} \xrightarrow{\mathcal C} S_* }

與：

Sn→Sn+1→⋯→S∗\boxed{ S_n\to S_{n+1}\to\cdots\to S_* }

為什麼不是同一件事。

Paper 04 將集中分析 diagonal realization、local finiteness、Borel-type extension、choice-based global object construction，以及這些合法數學工具如何在 proof narrative 中被誤讀成原動態過程的「最後一步」。