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

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

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

---

## 摘要

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

$$
\forall M<\infty,\quad \exists x_M:\;F(x_M)>M
$$

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

$$
\exists C<\infty,\quad \forall t<T:\;E(t)\le C,
$$

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

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

$$
\boxed{
\text{arbitrarily large finite}
\neq
\text{actual infinite state}
}
$$

$$
\boxed{
\text{uniform boundedness}
\neq
\text{stagewise boundedness}
}
$$

$$
\boxed{
\forall M\exists x_M
\neq
\exists (x_M)_M\text{ with a coherent generating path}
}
$$

以及：

$$
\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\to\mathbb R.
$$

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

$$
C<\infty
$$

使：

$$
\forall x\in X,\quad |F(x)|\le C.
$$

也就是：

$$
\exists C<\infty\;\forall x\in X:\;|F(x)|\le C.
$$

相反地， $F$ 無界則可寫成：

$$
\forall C<\infty,\quad
\exists x\in X:\;|F(x)|>C.
$$

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

因此：

$$
\boxed{
\text{unbounded}
}
$$

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

$$
x_\infty
$$

使：

$$
|F(x_\infty)|=\infty.
$$

標準數學完全可以只用：

$$
\forall C<\infty\exists x_C
$$

來定義無界。

所以第一個基礎區分是：

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

這個區分本身沒有爭議。

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

---

# 2. Arbitrarily Large Finite 不等於 Actual Infinity

考慮序列：

$$
a_n=n.
$$

我們有：

$$
\forall M<\infty,\quad
\exists n\in\mathbb N:\;a_n>M.
$$

因此 $(a_n)$ 無界。

但對每個有限 $n$：

$$
a_n<\infty.
$$

不存在有限索引：

$$
N\in\mathbb N
$$

使：

$$
a_N=\infty.
$$

所以：

$$
1,2,3,\ldots
$$

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

這可以寫成：

$$
\boxed{
\forall M\exists n:\;a_n>M
}
$$

不推出：

$$
\boxed{
\exists N:\;a_N=\infty
}
$$

更不推出：

$$
\boxed{
a_N\to a_\infty
}
$$

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

---

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

本文並不主張：

$$
\forall M\exists x_M
$$

是「不完整數學」。

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

問題只在於：

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

若結論只是：

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

那麼：

$$
\forall M\exists x_M:\;F(x_M)>M
$$

已經足夠。

若結論是：

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

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

但若自然語言進一步說：

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

則必須額外說明：

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

所以本文要求：

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

---

# 4. Boundedness 也不是單一概念

現在考慮：

$$
E(t).
$$

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

## 4.1 Pointwise Finite

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

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

它不保證存在共同 bound。

---

## 4.2 Stagewise Bounded

對每個有限區間：

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

存在：

$$
C_n<\infty
$$

使：

$$
\forall t\le T_n,\quad E(t)\le C_n.
$$

這可以寫成：

$$
\forall n,\quad
\exists C_n<\infty,\quad
\forall t\le T_n:\;E(t)\le C_n.
$$

但 $C_n$ 可能隨 $n$ 發散。

因此不推出：

$$
\exists C<\infty,\quad
\forall t<T:\;E(t)\le C.
$$

---

## 4.3 Uniformly Bounded up to the Boundary

真正的 uniform boundedness 是：

$$
\exists C<\infty,\quad
\forall t<T:\;E(t)\le C.
$$

量詞順序極其重要：

$$
\boxed{
\exists C\forall t
}
$$

和：

$$
\boxed{
\forall t\exists C_t
}
$$

不是同一件事。

---

## 4.4 Uniform Bound with Constructive Modulus

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

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

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

這又比單純 existence 強。

---

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

以下兩式差異巨大：

$$
\forall t<T,\quad \exists C_t<\infty:\;E(t)\le C_t
$$

與：

$$
\exists C<\infty,\quad
\forall t<T:\;E(t)\le C.
$$

前者幾乎只是在說：

$$
E(t)
$$

對每個固定 $t$ 是有限值。

後者才是真正 uniform boundedness。

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

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

必須明確。

同樣地：

$$
\forall n\exists C_n
$$

與：

$$
\exists C\forall n
$$

也不能混用。

---

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

即使真正證明：

$$
\exists C\forall t<T:\;E(t)\le C,
$$

還需要問：

> 這個 $C$ 從哪裡來？

本文區分三種來源。

## 6.1 A Priori Bound

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

$$
E(t)\le \Phi(E(0),F,\nu,\ldots).
$$

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

---

## 6.2 A Posteriori Bound

先構造完整 candidate trajectory：

$$
u(x,t),
$$

再直接計算：

$$
E(t)
$$

並證明：

$$
\sup_{t<T}E(t)<\infty.
$$

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

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

---

## 6.3 Reverse-Engineered Bound

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

$$
E(t)
$$

最後滿足某些估計。

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

所以：

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

---

# 7. Boundedness Audit Schema

對任何宣稱：

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

至少應檢查：

$$
\operatorname{BoundType}
$$

是 pointwise、stagewise 還是 uniform；

$$
\operatorname{QuantifierOrder};
$$

$$
\operatorname{BoundSource};
$$

$$
\operatorname{ParameterDependence};
$$

$$
\operatorname{TimeDependence};
$$

$$
\operatorname{BranchDependence};
$$

以及：

$$
\operatorname{IndependentOfTargetConclusion}.
$$

最後一項特別重要。

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

---

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

考慮：

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

這直接證：

$$
\sup_{t<T}A(t)=\infty.
$$

或：

$$
A
$$

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

若再有：

$$
t_M\to T,
$$

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

$$
\limsup_{t\uparrow T}A(t)=\infty.
$$

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

$$
A(T)=\infty
$$

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

因此：

$$
\boxed{
\limsup_{t\uparrow T}A(t)=\infty
}
$$

應解讀為：

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

不應自動解讀為：

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

---

# 9. Boundary Failure 與 Infinite State 必須分開

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

$$
u(t)
$$

對：

$$
t<T
$$

存在且 smooth，

但：

$$
\|u(t)\|_X
$$

在：

$$
t\uparrow T
$$

時無界。

接著用 continuation criterion：

$$
\sup_{t<T}\|u(t)\|_X<\infty
\Rightarrow
\text{smooth continuation past }T.
$$

取 contrapositive 或矛盾，可得：

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

這裡真正的結論是：

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

不是：

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

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

$$
\mathsf{S}_1:
\text{norm unboundedness},
$$

$$
\mathsf{S}_2:
\text{boundary nonextendability},
$$

$$
\mathsf{S}_3:
\text{extended-state infinity},
$$

$$
\mathsf{S}_4:
\text{physical singular event}.
$$

通常：

$$
\mathsf{S}_1
$$

在適當條件下可以推出：

$$
\mathsf{S}_2.
$$

但：

$$
\mathsf{S}_2
$$

不自動推出：

$$
\mathsf{S}_3
$$

更不自動推出：

$$
\mathsf{S}_4.
$$

---

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

命題：

$$
\forall n\in\mathbb N,\quad P(n)
$$

在古典數學中把：

$$
\mathbb N
$$

當成一個完成的對象。

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

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

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

同樣地：

$$
\forall M\in\mathbb R_{>0}
$$

也量化了一個無界集合。

本文不否定這種語義。

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

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

與：

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

這兩者的差異可寫成：

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

與：

$$
\boxed{
\exists\tau,\quad
\forall n\;P(\tau\upharpoonright n)
}
$$

其中：

$$
\tau\upharpoonright n
$$

是同一條 trace 的前綴。

---

# 11. Potential Infinity 與 Completed Infinity

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

## 11.1 Potential Infinity

表示：

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

也就是：

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

---

## 11.2 Completed Infinity

表示整個：

$$
\{S_n\}_{n\in\mathbb N}
$$

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

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

真正的審計問題是：

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

因此：

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

---

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

假設：

$$
\forall N,\quad
\exists x_N
$$

滿足前 $N$ 個 constraints：

$$
C_1,\ldots,C_N.
$$

也就是：

$$
\forall N,\quad
\exists x_N:
\bigwedge_{k\le N}C_k(x_N).
$$

這不自動推出：

$$
\exists x_*:
\forall k,\quad C_k(x_*).
$$

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

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

因此從：

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

到：

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

之間存在新的箭頭：

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

這就是 Completion Operator 的雛形。

---

# 13. Quantifier Completion 與 Object Completion

考慮：

$$
\forall N,\exists x_N:\;P_N(x_N).
$$

這是 **Quantifier Completion**。

而：

$$
\exists x_*:\forall N,\;P_N(x_*)
$$

是 **Object Completion**。

兩者不是同一句話。

更進一步：

$$
x_N\to x_*
$$

則是 **Trajectory/Limit Completion**。

因此至少有三層：

$$
\mathsf{Q}:
\forall N\exists x_N,
$$

$$
\mathsf{O}:
\exists x_*\forall N,
$$

$$
\mathsf{L}:
x_N\to x_*.
$$

通常：

$$
\mathsf{L}
$$

在條件足夠時可支持：

$$
\mathsf{O},
$$

但：

$$
\mathsf{Q}
$$

本身不支持：

$$
\mathsf{O}.
$$

所以：

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

---

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

比較：

$$
\forall N,\exists \delta_N>0:\;P(N,\delta_N)
$$

與：

$$
\exists \delta>0,\forall N:\;P(N,\delta).
$$

第一式允許：

$$
\delta_N\to0.
$$

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

兩者差異極大。

同樣地：

$$
\forall m,N,\exists J,\delta:\;P(m,N,J,\delta)
$$

不能被自然語言壓縮成：

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

除非真的證明：

$$
\exists J,\delta,\forall m,N:\;P(m,N,J,\delta).
$$

因此本文把：

$$
\boxed{
\forall\exists
\to
\exists\forall
}
$$

稱為 **Quantifier Promotion**。

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

---

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

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

$$
\forall n\exists x_n
$$

成：

$$
\exists x\forall n.
$$

而是構造一個 sequence：

$$
x_1,x_2,\ldots
$$

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

例如：

$$
x_{n+1}
=
x_n+\Delta_n
$$

且：

$$
\|\Delta_n\|
$$

快速下降。

若可證：

$$
\sum_n\|\Delta_n\|<\infty,
$$

則可能得到：

$$
x_n\to x_*.
$$

再利用 closedness 或 continuity 得：

$$
\forall k,\quad C_k(x_*).
$$

這是一個真正的 completion argument。

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

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

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

---

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

考慮一個證明策略：

$$
R_0
\to
R_1
\to
R_2
\to\cdots
$$

其中：

$$
R_n
$$

表示第 $n$ 階 residual。

若：

$$
R_n
$$

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

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

但要注意：

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

與：

$$
\boxed{
R\equiv0
}
$$

一般不等價。

典型例子：

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

在 $x=0$：

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

對所有 $k$ 成立，

但：

$$
f(x)>0
$$

對 $x>0$ 成立。

所以：

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

這個例子非常重要。

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

$$
\text{flat residual}
$$

而不是：

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

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

若 theorem 需要 unforced equation：

$$
f\equiv0,
$$

那就不夠。

---

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

假設一個量：

$$
E(t)
$$

保持 uniform bounded：

$$
\exists C<\infty,\quad
\forall t<T:\;E(t)\le C.
$$

另一個量：

$$
A(t)
$$

則滿足：

$$
\forall M<\infty,\quad
\exists t_M<T:\;A(t_M)>M.
$$

這兩件事可以同時成立，只要 $E$ 與 $A$ 是不同 functional。

例如：

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

與：

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

集中現象可以讓：

$$
L^\infty\to\infty
$$

同時：

$$
L^2
$$

保持有界。

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

真正需要審計的是：

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

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

---

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

令：

$$
X\hookrightarrow Y
$$

表示某種 embedding。

如果：

$$
\|u\|_X
$$

有界，但：

$$
\|u\|_Y
$$

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

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

$$
L^\infty
$$

可以無界而：

$$
L^2
$$

仍有界。

因此：

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

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

> 有沒有 bound？

而要問：

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

與：

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

之間的關係。

並且檢查：

$$
X\to Y
$$

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

---

# 19. Completion Time 與 Terminal Boundary

當 proof 使用：

$$
t\uparrow T
$$

時， $T$ 可能有三種角色。

## 19.1 Interior State Time

$$
u(T)
$$

真的屬於解的定義域。

---

## 19.2 Boundary Time

解只定義在：

$$
[0,T).
$$

此時 $T$ 只是 domain boundary。

---

## 19.3 Extended Completion Time

透過某種 completion，把：

$$
u(T)
$$

定義成 limit、weak limit 或 extended state。

這三種不能混用。

因此：

$$
\boxed{
t\uparrow T
}
$$

不自動等價：

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

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

---

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

自然語言可能說：

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

形式上至少有四種可能：

$$
\omega(t)\to\infty
$$

在：

$$
t\uparrow T;
$$

或：

$$
\sup_{t<T}\omega(t)=\infty;
$$

或：

$$
\omega(T)=\infty
$$

在 extended real sense；

或：

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

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

第三者需要 enlarged codomain。

第四者則跨到物理 ontology。

所以：

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

這不是削弱 theorem。

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

---

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

本文建議把：

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

的箭頭分成至少五類：

## 21.1 Inductive Arrow

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

---

## 21.2 Limit Arrow

$$
x_n\to x.
$$

---

## 21.3 Compactness Arrow

$$
(x_n)
\to
(x_{n_k})
\to
x.
$$

---

## 21.4 Diagonal Arrow

$$
\{x_n^{(m)}\}
\to
x^*.
$$

---

## 21.5 Choice Arrow

$$
\forall n\exists x_n
\to
\exists f:\mathbb N\to X.
$$

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

但它們不是同一種 semantic transition。

因此 proof graph 必須標注：

$$
\operatorname{ArrowType}.
$$

---

# 22. Completion Audit Schema

對任何：

$$
\mathcal C:
\{S_n\}
\mapsto
S_*,
$$

至少應檢查：

$$
\operatorname{InputFamily}(\mathcal C),
$$

$$
\operatorname{CompatibilityAssumption}(\mathcal C),
$$

$$
\operatorname{ConvergenceMode}(\mathcal C),
$$

$$
\operatorname{Uniqueness}(\mathcal C),
$$

$$
\operatorname{PropertyTransfer}(\mathcal C),
$$

$$
\operatorname{BranchPreservation}(\mathcal C),
$$

$$
\operatorname{Computability}(\mathcal C),
$$

以及：

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

最後一項問：

> $S_*$ 還是不是原 process 中同類型的 state？

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

---

# 23. 反事實構造與 bounded/unbounded

反證法常見形式：

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

由 $H$ 推出：

$$
Q.
$$

再由 construction 推出：

$$
\neg Q.
$$

因此：

$$
\neg H.
$$

這在邏輯上完全正確。

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

$$
\text{counterfactual competitor}
$$

與：

$$
\text{constructed trajectory}.
$$

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

不能把：

$$
u_{\mathrm{constructed}}
$$

與：

$$
u_{\mathrm{hypothetical}}
$$

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

因此：

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

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

---

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

對 AI theorem prover 而言：

$$
\forall M\exists x_M
$$

是一個非常清楚的 logical goal。

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

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

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

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

因為：

$$
\text{unbounded norm}
$$

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

但如果研究者真正關心：

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

AI 應額外問：

$$
\text{blowup means what ontology here?}
$$

$$
\text{boundary divergence or actual state?}
$$

$$
\text{which norm?}
$$

$$
\text{uniform or stagewise?}
$$

$$
\text{same trajectory or selected witnesses?}
$$

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

---

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

本文提出：

## $\mathsf{I}_1$ — Quantified Unboundedness

$$
\forall M<\infty,\exists x_M:\;F(x_M)>M.
$$

---

## $\mathsf{I}_2$ — Limit Divergence

存在 coherent path：

$$
x_n
$$

使：

$$
F(x_n)\to\infty.
$$

---

## $\mathsf{I}_3$ — Infinite-Valued State

存在：

$$
x_*
$$

使：

$$
F(x_*)=\infty
$$

在某個 extended state space 中成立。

通常：

$$
\mathsf{I}_2\Rightarrow\mathsf{I}_1.
$$

但：

$$
\mathsf{I}_1
$$

不自動推出：

$$
\mathsf{I}_2,
$$

因為 witnesses $x_M$ 可能不形成 coherent path。

而：

$$
\mathsf{I}_2
$$

也不自動推出：

$$
\mathsf{I}_3,
$$

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

因此：

$$
\boxed{
\mathsf{I}_1
<
\mathsf{I}_2
<
\mathsf{I}_3
}
$$

表示語義強度逐步增加。

---

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

對 boundedness 同樣提出：

## $\mathsf{B}_1$ — Pointwise Finiteness

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

## $\mathsf{B}_2$ — Stagewise Uniformity

$$
\forall T'<T,\quad
\exists C_{T'}<\infty,\quad
\forall t\le T':E(t)\le C_{T'}.
$$

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

$$
\exists C<\infty,\quad
\forall t<T:E(t)\le C.
$$

通常：

$$
\mathsf{B}_3\Rightarrow\mathsf{B}_2\Rightarrow\mathsf{B}_1.
$$

反向一般不成立。

因此當一篇論文說：

> solution remains bounded,

必須立刻問：

$$
\mathsf{B}_1,\mathsf{B}_2,\text{ or }\mathsf{B}_3?
$$

---

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

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

第一：

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

第二：

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

第三：

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

第四：

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

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

$$
\text{bounded }L^2
$$

與：

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

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

$$
\limsup_{t\uparrow T}\|u(t)\|_\infty=\infty
$$

誤譯成：

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

---

# 28. 核心命題

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

第一：

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

第二：

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

第三：

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

第四：

$$
\boxed{
\forall n\exists C_n
\neq
\exists C\forall n.
}
$$

第五：

$$
\boxed{
\forall M\exists x_M
\neq
\exists\text{ coherent path }(x_M).
}
$$

第六：

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

第七：

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

第八：

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

---

# 29. 結論

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

它可以是：

$$
\sup F=\infty,
$$

可以是：

$$
F(x_n)\to\infty,
$$

也可以是在 extended codomain 中：

$$
F(x_*)=\infty.
$$

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

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

> 「系統到了無限。」

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

$$
\exists C\forall t.
$$

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

因此本文提出：

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

不是一條自動箭頭。

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

$$
\text{quantification},
$$

$$
\text{limit},
$$

$$
\text{compactness},
$$

$$
\text{diagonalization},
$$

$$
\text{choice},
$$

還是：

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

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

---

# 30. 系列後續

下一篇將進入：

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

我們將正式研究：

$$
\boxed{
\{S_n\}_{n\in\mathbb N}
\xrightarrow{\mathcal C}
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 中被誤讀成原動態過程的「最後一步」。