《序列域相對論與探針演算》第 0 篇

總綱與問題重構：從裸數字到結構域、探針與量詞下沉

系列名： 序列域相對論與探針演算
英文： Sequence-Domain Relativity and Probe Calculus
縮寫： SDRPC
篇次： 00 / 06
作者： Neo.K；Aletheia（GPT-5.6 Sol）
日期： 2026-09-22
版本： v0.1
文件性質： 理論總綱／問題重構／後續驗證前置文件

機構： EveMissLab／一言諾科技有限公司

摘要

本系列試圖重新檢查一個在數學工作中經常被默認、因而極少被抽出的前提：

一個數學概念究竟是「裸存在於數字之上」，還是依賴於其所在的序列域、運算結構、關係結構、表示方式與觀測方式？

以質數為例，通常直接在自然數或整數上定義：

p \text{ is prime} \iff p>1 \land \forall a,b\in\mathbb N,\; p=ab \Rightarrow a=1\lor b=1.

這個定義看似直接，但它已經預設了：

一個元素域；
乘法；
單位元；
等號；
全域量詞；
某種自然數／整數結構。

因此「質數」並不是一個脫離結構而單獨存在的字面標籤；它是一個定義於特定代數與序列結構上的 predicate。

同樣地，模 (6)、 $6k\pm1$ 、奇偶性、進位制、截斷、小數尾部、連分數位置與數位模式，也不應在研究一開始就被視為自然本體，而應被拆解為：

\text{domain}, \quad \text{structure}, \quad \text{representation}, \quad \text{quotient}, \quad \text{probe}.

本文提出「序列域相對論」與「探針演算」的統一研究框架。它不是主張數學真理任意相對，而是主張：

\boxed{ \text{數學 predicate 的定義域與可觀測形式必須被顯式標示。} }

並進一步提出：

\boxed{ \text{全域命題可以嘗試透過生成規則、結構不變量與探針精化， 將量詞壓縮為有限可驗證的轉移條件。} }

這種「量詞下沉」不等於一般性的歸納法重述，而是一個待驗證的研究方案：它試圖結合序列生成、商化、探針、跨表示不變量、可序列化無限物件與證書系統，重新整理那些原本以全域量詞、弱全域量詞或無限存在命題形式出現的數學問題。

質數將是本系列第一個大型驗證案例，但不是框架的唯一對象。

一、問題不在「質數有沒有規律」

較早期的直覺常會從：

p>3 \Rightarrow p\equiv \pm1\pmod6

開始，進而問：

質數是不是存在某種模 (6) 規律？

這個命題本身沒有錯。

問題在於研究者容易不自覺地把：

\mathbb Z/6\mathbb Z

當成「質數自然呈現自己的空間」。

但實際上：

6=\operatorname{lcm}(2,3).

而：

p>3

若為質數，就不能被 (2) 或 (3) 整除，因此：

\gcd(p,6)=1,

故：

p\bmod 6\in\{1,5\}.

真正的結構鏈應寫成：

\boxed{ \text{乘法結構} \rightarrow \text{不可被 }2,3\text{ 整除} \rightarrow \operatorname{lcm}(2,3)=6 \rightarrow \mathbb Z/6\mathbb Z \rightarrow \{1,5\} }

所以模 (6) 並不是根。

它是一次結構壓縮後的觀測結果。

這使研究問題發生轉變：

為什麼是模 (6)？

進一步變成：

為什麼要使用 modulus 這一族觀測器？

再進一步：

modulus、radix、subsequence、truncation、spectral transform、factor relation 等不同觀測器，究竟各自保留了什麼結構、刪除了什麼結構？

這才是本系列的真正起點。

二、從「數字」提升為「序列域」

本文先暫時不把自然數視為理所當然的背景，而定義一個更一般的序列域：

\boxed{ \mathfrak S = (S,\Sigma,\mathcal O,\mathcal R) }

其中：

(S)：元素集合；
$\Sigma$ ：序列、索引、生成或後繼結構；
$\mathcal O$ ：運算族；
$\mathcal R$ ：關係族。

例如自然數可以被看成某個：

\mathfrak N = (\mathbb N,\sigma,\{+,\times\},\{<,\mid,=\}).

此時「偶數」依賴於：

\exists k,\;n=2k.

「質數」依賴於：

\times,\mid,1.

「模 (m)」依賴於：

\mathbb Z/m\mathbb Z.

因此這些概念不是在一個只有符號的裸序列中自動存在。

三、Raw Sequence：在運算以前

考慮：

S=(s_0,s_1,s_2,\ldots).

若我們只知道：

元素；
次序；
後繼位置；

而沒有定義加法、乘法、整除、模與代數結構，那麼：

\boxed{ \text{prime} }

根本沒有定義。

同樣地：

\boxed{ \text{even / odd} }

也沒有必要存在。

這不是說原本的偶數或質數是假的。

而是說：

這些 predicate 依賴額外結構。

此時一個 Raw Sequence 最少可寫為：

\mathfrak S_0=(S,\Sigma).

只有當加入：

\mathcal O,\mathcal R

後，才形成可承載代數概念的 Operational Sequence Domain。

四、重新編碼不等於換域

考慮序列：

1,3,5,7,9,11,13,\ldots

並重新命名：

1\mapsto A,\quad 3\mapsto B,\quad 5\mapsto C,\quad 7\mapsto D,\ldots

若這只是雙射：

f:S\rightarrow S',

並且所有原有運算都經由共軛方式搬運：

a\otimes' b = f\left( f^{-1}(a)\otimes f^{-1}(b) \right),

則結構本身沒有改變。

例如：

9=3\times3

會變成：

E=B\otimes' B.

因此 (E) 對應的「合性」仍然存在。

這是：

\boxed{ \text{encoding change} }

而不是：

\boxed{ \text{domain change}. }

這個區分是本系列第一個硬約束。

五、刪除元素也不一定等於刪除概念

若我們只保留：

1,3,5,7,9,\ldots

形成奇數子集：

O=\{2n+1:n\in\mathbb N\},

那麼表面上偶數不在域內。

但這裡有至少三種不同情形：

5.1 子序列

只把奇數抽出來，但運算仍引用原始自然數。

此時「偶數」只是沒有出現在資料列表中。

5.2 子結構

在奇數集合上保留某些封閉運算。

例如乘法：

\text{odd}\times\text{odd} = \text{odd}.

此時奇數對乘法形成封閉結構。

5.3 新域

重新定義：

單位元；
加法；
乘法；
successor；
index semantics；

使其不再只是自然數奇數部分的投影。

此時可能真正得到另一個數學域。

所以：

\boxed{ \text{subsequence} \neq \text{substructure} \neq \text{new domain}. }

六、序列域相對論

本文中的「數學相對論」不應理解成：

數學真理會隨觀察者任意改變。

較精確的表述是：

數學命題的語義、predicate 與可觀測特徵，必須相對於一個已指定的結構域來解讀。

因此：

\operatorname{Prime}_{\mathfrak S}(x)

比裸寫：

\operatorname{Prime}(x)

更接近完整形式。

同樣地：

\operatorname{Even}_{\mathfrak S}(x), \quad \operatorname{Divides}_{\mathfrak S}(a,b), \quad \operatorname{Residue}_{m,\mathfrak S}(x)

都應視其依賴結構而定。

因此本系列的第一個原則是：

\boxed{ \textbf{Structural Relativity Principle} }

即：

\boxed{ \text{任何非裸集合論 predicate， 都應追蹤其所依賴的運算、關係與表示結構。} }

七、表示相對性與結構相對性不同

需要特別區分：

7.1 表示相對性

同一個數學對象可以表示為：

10, \quad 1010_2, \quad A_{16}.

這些只是不同 encoding。

7.2 結構相對性

若乘法、加法、關係、拓撲、測度或生成規則不同：

\mathfrak S_1 \neq \mathfrak S_2,

則同一字面符號可能承載不同 predicate。

7.3 觀測相對性

同一結構域經不同探針：

P_1, P_2, P_3

可能產生不同可見結構。

因此：

\boxed{ \text{representation relativity} \neq \text{structural relativity} \neq \text{observational relativity}. }

八、探針不是單純取值函數

最初可以把探針寫成：

P:X\rightarrow Y.

但本系列需要更強版本：

\boxed{ P: \mathfrak S \rightarrow \mathfrak Y }

其中輸入不是單一元素，而可以是：

一個序列域；
一個局部區塊；
一個元素與其鄰域；
一個生成狀態；
一個商空間；
一個表示層。

探針可以抽取：

residue；
local gap；
factor signature；
parity；
position；
digit block；
recurrence；
spectrum；
derivative-like response；
cross-representation difference；
constraint compatibility。

因此探針本身成為可組合對象。

九、探針演算的最低形式

設：

\mathcal P = \{P_i\}_{i\in I}

為探針族。

則可定義探針向量：

\mathbf P(x) = (P_1(x),P_2(x),\ldots,P_k(x)).

進一步定義等價關係：

x\sim_{\mathcal P} y \iff P_i(x)=P_i(y) \quad \forall i.

則：

[x]_{\mathcal P}

表示在目前探針解析度下與 (x) 不可區分的候選集合。

當加入新探針：

\mathcal P_k \subset \mathcal P_{k+1},

通常有：

[x]_{\mathcal P_{k+1}} \subseteq [x]_{\mathcal P_k}.

這就是：

\boxed{ \text{Probe Refinement} }

探針精化。

十、模系統是一種 Probe Family

對固定 (m)，定義：

P_m(n)=n\bmod m.

則：

P_m:\mathbb Z\to\mathbb Z/m\mathbb Z.

所以模 (6) 只是：

P_6.

而：

P_2,\; P_6,\; P_{30},\; P_{210},\ldots

可以形成一個精化族。

若：

M_k = \prod_{i=1}^k p_i,

則：

P_{M_k}

逐步壓入更多小質數的整除資訊。

候選域：

C_k = \left\{ n: \gcd(n,M_k)=1 \right\}

形成：

C_1 \supseteq C_2 \supseteq C_3 \supseteq\cdots.

此時：

6k\pm1

只是 $k=2$ 階段的一個投影結構。

十一、探針不是證明

即使某探針能排除大量候選：

P(x)\Rightarrow x\notin C,

也不代表：

P(x)\Rightarrow x\in T

成立。

以：

n\bmod6\in\{1,5\}

為例。

它對：

p>3\text{ prime}

是必要條件。

但不是充分條件。

例如：

25\equiv1\pmod6.

所以：

\boxed{ \text{probe selectivity} \neq \text{proof sufficiency}. }

這個差異必須在所有後續實驗裡保留。

十二、真序列：不只整數序列

本系列中的「序列」不只包括：

1,2,3,4,\ldots

還包括：

0.1,0.01,0.001,\ldots

或：

x_0,x_1,x_2,\ldots

其中每一個 $x_n$ 又可能是：

整數；
有理數；
實數；
區間；
函數；
矩陣；
狀態；
證書；
無限可精化物件。

因此序列域應容許：

S_n\in\mathcal X

而不預設：

\mathcal X=\mathbb N.

這使探針演算可以同時作用於：

整數序列；
小數展開；
動力系統軌跡；
可計算實數逼近；
證明狀態；
數學結構演化。

十三、可序列化與無限對象

在「可序列化數學常數」的觀察中，一個常數可以表示為：

\mathfrak C = (S_0,\Phi,D,B,C,V).

其中：

$S_0$ ：初始狀態；
$\Phi$ ：狀態轉移；
(D)：解碼；
(B)：誤差界；
(C)：證書；
(V)：驗證器。

此思想可以推廣到序列域。

定義：

\boxed{ \mathfrak D = (S_0,\Phi,\mathcal P,\mathcal I,\mathcal C) }

其中：

$S_0$ ：域的初始生成狀態；
$\Phi$ ：域生成或精化規則；
$\mathcal P$ ：探針族；
$\mathcal I$ ：不變量；
$\mathcal C$ ：證書或驗證資料。

於是無限域不再必須被理解為：

一個已經完整列出的無限集合。

而可被理解為：

一個可以對任意有限要求生成、精化、驗證更多結構的有限描述系統。

十四、無限性不是字面儲存

這個思想可以寫成：

\boxed{ \text{Infinite mathematical object} \neq \text{infinite literal storage}. }

而更接近：

\boxed{ \text{finite generator} + \text{refinement rule} + \text{invariant} + \text{verification}. }

這對：

$\pi$ ；
質數；
可計算實數；
級數；
動力系統；
無限圖；
形式證明狀態；

都可能具有共同意義。

十五、全域量詞才是真正難點之一

大量數學命題具有：

\forall n\in\mathbb N,\;P(n),

或：

\forall p\in\mathbb P,\;Q(p),

甚至：

\forall n\exists m,\;R(n,m).

又或者：

\exists^\infty p,\;Q(p).

有限計算只能檢查：

n\le N.

因此：

\forall n\le N,\;P(n)

無法直接推出：

\forall n,\;P(n).

這是有限證據與全域命題之間最基本的缺口。

十六、量詞下沉

本文提出一個研究性概念：

\boxed{ \textbf{Quantifier Descent} }

即嘗試將：

\forall n,\;P(n)

重新表達成一個有限生成系統上的不變性問題。

例如：

S_{k+1}=\Phi(S_k),

若存在：

[ I(S), ]

且可證：

I(S_0),

與：

I(S_k) \Rightarrow I(S_{k+1}),

則：

I(S_k)

可以被推進至所有有限 (k)。

其基本結構是：

\boxed{ \text{Global quantifier} \rightarrow \text{generator} + \text{transition} + \text{invariant}. }

十七、量詞下沉不等於自動解題

這裡必須設置強限制。

不是所有：

\forall n

都能被有效壓縮成低複雜度 transition invariant。

也不是所有無限性都具有：

有限狀態；
有限記憶；
局部遞推；
有效證書。

因此量詞下沉是一個：

\boxed{ \text{待驗證的 proof transformation program} }

而不是已成立的普遍定理。

十八、它也不應只是數學歸納法的改名

若最後只能寫：

P(1), \quad P(n)\Rightarrow P(n+1),

那麼本系列沒有提出新的證明能力。

真正需要驗證的是：

能否透過「序列域 + 商化 + 探針族 + 跨表示不變量 + 可序列化狀態 + 證書」把原本難以直接歸納的全域命題，轉換成新的有限結構不變性？

這才是後續驗證的核心。

十九、三種可能結果

量詞下沉研究至少可能得到三種結果。

19.1 完全下沉

原全域命題可完全轉換為：

\text{finite rule} + \text{invariant}.

19.2 部分下沉

原命題可壓縮部分量詞，但仍留下：

R_\infty

形式的不可有限化殘餘。

19.3 不可下沉

證明不存在某類有限局部探針或有限轉移系統，可以充分捕捉原命題。

第三種結果同樣有研究價值。

二十、跨表示不變量

如果同一數學對象存在多種表示：

\rho_1(X), \quad \rho_2(X), \quad \rho_3(X),

則應區分：

representation artifact；
representation-dependent pattern；
cross-representation invariant。

定義候選不變量：

I_{\rho_i}(X).

若：

I_{\rho_1}(X) = I_{\rho_2}(X) = \cdots

在合理同構下保持，則它比單一表示中的模式具有更高結構可信度。

因此：

\boxed{ \text{跨表示存活} }

將成為本系列的重要驗證標準。

二十一、從 M6 不動點重新理解質數

先前可以建立：

M_6^* = \{n>1:n\equiv\pm1\pmod6\}.

再定義某種受限最小除數算子：

T(n) = \min \{d\in M_6^*:d\mid n\}.

並觀察某些質數對此形成不動點。

但現在需要重新定位：

\boxed{ M_6^* }

不是質數的根結構。

它是一個：

P_6

作用後留下的候選子域。

而不動點構造中真正使用的關鍵資訊仍然是：

d\mid n.

也就是乘法／整除結構。

因此舊 M6 結果應視為：

一個成功但較晚層的 representation/probe construction。

而不是：

質數本體的最初生成機制。

二十二、第一次真正要問的質數問題

這次不先問：

質數下一個在哪裡？

也不先問：

質數間距有什麼模式？

而先問：

\boxed{ \text{Prime predicate 依賴哪些最小結構？} }

再問：

\boxed{ \text{哪些 probe 只是重述這些結構， 哪些 probe 真正產生新的可區分資訊？} }

最後才問：

\boxed{ \text{是否存在一個比直接整除判定更低階、 可生成、可精化、可證書化的結構描述？} }

二十三、研究對象從「數」變成「概念生成條件」

因此本系列實際研究的不是：

\mathbb P

單獨本身。

而是：

\boxed{ (\mathfrak S,\mathcal P,\mathcal Q) }

其中：

$\mathfrak S$ ：序列域；
$\mathcal P$ ：探針族；
$\mathcal Q$ ：欲研究的 predicate／量詞命題。

研究問題是：

\mathcal Q

在不同：

\mathfrak S

與：

\mathcal P

之下：

是否保持；
是否消失；
是否可重建；
是否可下沉；
是否存在不變量；
是否仍有不可區分殘餘。

二十四、Probe Residual

對給定探針族：

\mathcal P_k = \{P_1,\ldots,P_k\},

可定義探針剩餘不可區分集合：

R_{\mathcal P_k}(x) = [x]_{\mathcal P_k}.

若研究 predicate：

Q:S\to\{0,1\},

則真正重要的是：

[x]_{\mathcal P_k}

中是否同時包含：

Q=0

與：

Q=1.

若有，表示探針不足。

若不存在，則探針族已對 (Q) 具有辨識充分性。

二十五、Task Sufficiency

因此探針不需要重建整個數學對象。

只需要對指定任務足夠。

定義：

\boxed{ \mathcal P \text{ is sufficient for }Q }

若：

x\sim_{\mathcal P}y \Rightarrow Q(x)=Q(y).

這比要求：

x\sim_{\mathcal P}y \Rightarrow x=y

弱得多。

這正是：

\boxed{ \text{Task Sufficiency} }

在數學證明中的形式。

二十六、這可能產生新的證明策略

對一個困難 predicate：

[ Q(x), ]

不一定需要完整識別：

[ x. ]

只要找到探針族：

\mathcal P

使：

\mathbf P(x)

足以決定：

[ Q(x), ]

即可。

因此證明問題可改寫為：

\boxed{ \text{construct a task-sufficient probe family}. }

這將是後續系列最重要的可測假說之一。

二十七、系列研究問題

本系列後續將集中處理以下問題：

Raw Sequence 與 Operational Sequence 的形式差異是什麼？
encoding change 與 domain change 如何判定？
quotient、modulus、radix 與 truncation 分別保留什麼資訊？
Probe family 是否能被形式化成可組合演算？
探針精化是否存在單調信息序？
哪些 predicate 可以被有限 probe family 充分辨識？
哪些全域量詞可以下沉成 transition invariant？
可序列化常數如何推廣成可序列化域？
跨表示不變量如何定義？
質數 predicate 是否能在禁止直接 primality oracle 的情況下被有效精化逼近？
mod (6)、mod (30)、mod (210) 等結構究竟是什麼層級的壓縮？
哪些看似規律的結構只是 representation artifact？

二十八、系列結構

本系列共七篇。

第 0 篇

總綱與問題重構

建立統一語言。

第 1 篇

序列域本體

形式化 Raw Sequence、Operational Sequence、Relation Structure、Generator、Successor 與 Domain。

第 2 篇

表示、商化與觀測

研究 encoding、radix、quotient、modulus、subsequence、truncation。

第 3 篇

探針演算

建立 Extractive、Derived、Comparative、Relational、Spectral、Bidirectional probes 與 composition。

第 4 篇

全域量詞、弱全域量詞與量詞下沉

研究：

\forall, \quad \exists, \quad \forall\exists, \quad \exists^\infty

如何與 generator / invariant 接軌。

第 5 篇

可序列化無限數學域

由可序列化常數推廣至：

\mathfrak D = (S_0,\Phi,\mathcal P,\mathcal I,\mathcal C).

第 6 篇

質數作為第一個驗證對象

正式回看：

6k\pm1, \quad 30k+r, \quad 210k+r,

並建立預註冊式驗證計畫。

二十九、驗證前的硬約束

為防止系列退化成重新命名，預先設定以下失敗條件。

29.1 Encoding Failure

若新概念只是雙射重命名原數學，而沒有新 invariant、compression 或 proof transformation：

\Rightarrow \text{不視為新結果}.

29.2 Trial-Division Relabeling Failure

若所謂新質數 probe 最終只是：

d\mid n

的隱式枚舉：

\Rightarrow \text{不得宣稱新的質數生成機制}.

29.3 Finite-Test Fallacy

有限測試：

n\le N

不得升格為：

\forall n.

29.4 Representation Artifact

只在單一進位、單一 modulus 或單一數值表示中出現的模式，必須標記：

\text{representation-dependent}

直到跨表示驗證。

29.5 Quantifier-Renaming Failure

若量詞下沉僅僅是標準歸納法換名，而沒有產生新的結構壓縮：

\Rightarrow \text{不視為新 proof method}.

三十、第一輪驗證原則

七篇理論寫完後，立即停止理論擴張並執行第一輪驗證。

第一輪至少包含：

A. Encoding 實驗

1,3,5,\ldots \rightarrow A,B,C,\ldots

測試哪些 predicate 在同構搬運後保持。

B. Subdomain 實驗

只保留奇數、平方數、互質類等，觀察 predicate 的變化。

C. Modulus Refinement

2 \rightarrow 6 \rightarrow 30 \rightarrow 210 \rightarrow 2310 \rightarrow\cdots.

測量：

候選壓縮率；
prime retention；
composite rejection；
probe entropy；
新增資訊量。

D. Probe Sufficiency

檢查有限 probe family 是否能完全區分：

\text{prime} \quad\text{vs}\quad \text{composite}

於有限但逐步擴大的域。

E. Quantifier Descent

挑選已知可證命題作 positive control，已知不能僅由局部模式推出的命題作 negative control。

三十一、成功標準

本系列不以「解出質數問題」作為最低成功條件。

最低成功可以是以下任一項：

S1

形式化區分：

\text{encoding} \neq \text{domain} \neq \text{quotient} \neq \text{probe}.

S2

建立可操作的 probe equivalence 與 task sufficiency。

S3

建立可重現的 probe refinement 實驗。

S4

找到至少一種非平凡 quantifier descent。

S5

證明某類 probe family 對某 predicate 永遠不足。

S6

把舊 M6 不動點結果重新定位為可比較的 probe construction。

任何一項成立，都構成本系列的可驗證進展。

三十二、核心命題

本文最終提出六個核心命題。

命題 A：結構依賴

\boxed{ \text{predicate 的數學語義依賴其結構域。} }

命題 B：表示不等於結構

\boxed{ \text{重新編碼不等於新數學域。} }

命題 C：商化是一種觀測

\boxed{ \text{modulus、quotient、subsequence 可以被視為結構探針。} }

命題 D：探針具有任務充分性

\boxed{ \text{證明不一定需要完整重建對象，只需要足以決定目標 predicate。} }

命題 E：無限對象可以被序列化描述

\boxed{ \text{無限域可由有限生成、精化與驗證機制表示。} }

命題 F：全域量詞可能部分下沉

\boxed{ \text{部分全域命題可能被轉換為生成系統上的有限不變性問題。} }

三十三、結論

本系列的起點不是質數，而是對數學問題的問題進行拆解。

不是先問：

\text{prime 有什麼 pattern？}

而先問：

\text{prime predicate 依賴什麼 structure？}

不是先問：

\text{為什麼 }6k\pm1？

而先問：

\text{為什麼選擇 mod }6\text{ 這個 probe？}

不是先問：

\text{如何檢查無限多個案例？}

而先問：

\text{能否把全域量詞轉換成 generator、transition 與 invariant？}

不是先問：

\text{如何列出一個無限數學對象？}

而先問：

\text{它能否被有限地序列化、精化與驗證？}

因此本系列的核心轉向可寫成：

\boxed{ \text{Number Pattern Search} \longrightarrow \text{Structure-Domain Analysis} \longrightarrow \text{Probe Calculus} \longrightarrow \text{Quantifier Descent} }

質數將是第一個大型實驗場。

而 $6k\pm1$ 不再被視為終點，也不再被否定。

它將成為一個標本：

一個局部正確、具有壓縮能力、但其來源與限制必須被重新追溯的 probe construction。

本系列接下來的任務，是把這套語言逐層形式化，然後停止擴張，交給驗證結果決定它究竟只是重新描述既有數學，還是真的提供了新的證明組織方式。

附錄 A：最小符號表

\mathfrak S=(S,\Sigma,\mathcal O,\mathcal R)

序列域。

P:\mathfrak S\to\mathfrak Y

探針。

\mathcal P=\{P_1,\ldots,P_k\}

探針族。

x\sim_{\mathcal P}y

在探針族下不可區分。

[x]_{\mathcal P}

探針等價類。

Q:S\to\{0,1\}

目標 predicate。

x\sim_{\mathcal P}y \Rightarrow Q(x)=Q(y)

$\mathcal P$ 對 (Q) 具有 Task Sufficiency。

\mathfrak D=(S_0,\Phi,\mathcal P,\mathcal I,\mathcal C)

可序列化數學域候選形式。

附錄 B：下一篇

第 1 篇：序列域本體

下一篇將不碰質數細節，先形式化：

element domain；
index domain；
sequence；
generator；
successor；
order；
operation family；
relation family；
structure transport；
encoding isomorphism；
subdomain；
substructure；
domain replacement。

目標是先建立：

\boxed{ \text{什麼時候我們真的換了一個數學域？} }

這將是整個系列後續不退化成「換名字遊戲」的第一個形式防線。