/Discrete_Countability_of_Samskrita-Dharmas
---
permalink: Discrete_Countability_of_Samskrita-Dharmas
aliases: Discrete Countability of Samskṛta-Dharmas
date: 2026-07-06 00:25
updated: 2026-07-06 00:34
---
ᅟ<span class="date">Updated: 2026-07-06 00:34</span>
[arpcn](https://arpcn.github.io/)>
ᅟ 宗杰ᅟ2026年7月6日ᅟ
# 有為法集合的離散可數性
Discrete_Countability_of_Samskrita-Dharmas
==\[[三世有的集合論模型](三世有的集合論模型.md#2.3.2.1.前後剎那)]==
> 在完全不預設獨立於有為法之外的外部連續時空（無實數集 $\mathbb{R}$、無歐氏空間 $\mathbb{R}^3/\mathbb{R}^4$）的前提下，基於佛教有為法的公理體系，嚴格證明已生與當生有為法構成的集合是離散可數集。
## 1 前置約定與定義
為避免引入任何外部連續預設，所有定義均完全內生於有為法自身性質。
### 1.1 基本定義
**定義 1（離散集）**：
設集合 $S$ 中的元素之間存在一個**步數函數** $g: S \times S \to \mathbb{N}$，滿足對任意 $x, y, z \in S$：
- $g(x, y) = 0 \iff x = y$（自反性）
- $g(x, y) = g(y, x)$（對稱性）
- $g(x, z) \le g(x, y) + g(y, z)$（三角不等式）
集合 $S$ 被稱為**離散的**，當且僅當對任意 $x \in S$，**存在一個正整數 $\varepsilon_x > 0$**（稱為 $x$ 的**孤立半徑**），使得：
$$
\{ y \in S \mid g(x, y) < \varepsilon_x \} = \{ x \}
$$
等價地：每個點 $x$ 都有一個「以步數衡量的鄰域」，其中**不包含任何其他點**。這確保了 $S$ 中不存在任何聚點或極限點。
**說明**：
- 「步數」不是實數度量，而是純粹的離散計數關係，其值域為 $\mathbb{N}$。
- 對空間中的色法，$g$ 為空間步數（§4.2.1 定義 5、6）。
- 對時間中的剎那，$g$ 為時間步數（§4.1）。
- 對心法，$g$ 為退化步數（$g(c_1,c_2)=1$ 若 $c_1 \ne c_2$）。
- 所有 $g$ 的定義均不涉及實數，完全由有為法的內生結構給出。
**定義 2（可數集）**：集合 $S$ 是可數的，若存在從 $S$ 到自然數集 $\mathbb{N}$ 的顯式雙射。該雙射必須是可構造的，不依賴非構造性選擇公理。
**定義 3（內生計數）**：本命題中所有「數量」「基數」「可數」等概念，均指通過有為法自身的離散結構（如剎那序號、空間單元步數、世界分層遍歷等）可構造地確定的計數結果，不依賴於外部集合論的冪集運算或不可數基數的預設。
### 1.2 基礎預設
1. **無外部時空**：不存在獨立於有為法之外的連續時空。所有空間關係由色法的相對位置定義，所有時間關係由有為法的剎那生滅序列定義。
2. **空間的內生性**：空間不是預設的背景容器，而是由色法之間的「共在」與「相鄰」關係構成的離散結構。該結構的所有性質均由公理直接規定，不藉助任何外部度量。
3. **時間的內生性**：時間不是獨立流逝的均勻背景，而是由有為法的剎那生滅事件構成的離散序列。每一有為法的生滅時長即為一剎那，為固定的基本時間單位。
## 2 公理體系
所有公理均直接刻畫有為法的本然性質，無任何外部幾何假設。
### 2.1 時間公理
| 編號 | 公理內容 |
| :----: | :------------------------------------------------------------------------------------------------------ |
| **A1** | 有為法唯剎那生滅，無有前際。色法之外無獨立空間，有為法之外無獨立時間。 |
| **A4** | 有為法剎那生滅相續，形成的時間序列離散。每一有為法的生滅時長均為固定的基本時間單位 $\tau > 0$（即一剎那）。時間序列由 $\tau$ 單位離散地堆疊而成，與整數集 $\mathbb{Z}$ 同構。 |
### 2.2 色法空間公理
**核心原則**：以下公理不試圖全面重建空間，而是局部規定空間結構所具有的某些性質。
| 編號 | 公理內容 |
| :-------: | :----------------------------------------------------------------------------------------------------- |
| **A2a-1** | 色法由極微構成。單個極微無方分（無方向、無部分），不可再分。 |
| **A2a-2** | 存在一個固定的正整數 $k$（如 $k=7$），使得 $k$ 個極微聚積為一個「空間單元」。空間單元是有方分的最小色法單位，具有確定的空間結構（如「一中心、六方」）。任一有方分色法均由有限個空間單元構成。 |
| **A2a-3** | 空間單元之間的「相鄰」關係是離散的：任意兩個空間單元要麼直接相鄰，要麼不相鄰。每個空間單元的直接相鄰空間單元數量有限。（局部有限性） |
| **A2a-4** | 任意兩個不同的空間單元之間，都通過相鄰關係存在連通路徑。（連通性） |
**說明**：
- 公理 A2a-2 中的 $k=7$ 是說一切有部的傳統說法（七極微成一微量），但本命題的證明不依賴於 $k$ 的具體數值，只需 $k$ 為固定正整數。從「無方分」到「有方分」，涉及色法的基本原理，見[paramanu](略析有部極微理論的基礎.md)。
- 公理 A2a-3 中的「相鄰」是原始概念，其判定標準由公理直接規定：兩個空間單元直接相鄰，當且僅當它們的邊界之間不存在任何其他空間單元。該判定完全基於空間單元之間的離散位置關係，不依賴任何外部度量。
- 公理 A2a-4 確保了空間步數是正整數，這是離散性的核心基礎。
### 2.3 心法與跨剎那公理
| 編號 | 公理內容 |
|:---:|:---|
| **A2b** | 每一剎那有情數量無窮，心法以有限形式依執於色身（一色身或一有情一剎那僅有限個心法，最多26個）。無色有情數量如爪上塵，可單射嵌入欲色界。 |
| **A3a** | 不同剎那間色法無空間漸近關係，僅網格式躍遷。 |
| **A3b** | 色心剎那生滅同步進行。 |
| **A3c** | 心法只有因果聯繫，無漸近關係。 |
## 3 命題陳述
> **全體已生與當生有為法構成的集合 $S_u$ 是離散可數集。**
**證明的邏輯結構**：
1. **時間軸可數**（A1, A4）：離散剎那序列與 $\mathbb{Z}$ 同構 → $|T| = \aleph_0$
2. **每一剎那**：
- 色法離散可數（A2a-1 ~ A2a-4）：空間單元步數為正整數 → 無聚點；空間單元有限相鄰、步數有限 → $|\mathcal{R}(t)| = \aleph_0$
- 心法可數（A2b）：有限依附於色身，無色界單射嵌入欲色界 → $|\mathcal{C}(t)| = \aleph_0$
- 不相應行法可數：與色心俱生，種類有限 → $|\mathcal{V}(t)| = \aleph_0$
- 單剎那有為法總數：三類可數集之並 → $|\mathcal{S}_t| = \aleph_0$
3. **跨剎那離散性**（A3a, A3b, A3c, A4）：網格式躍遷、色心同步、心法無漸近、時間離散 → 不同剎那間不形成聚點
4. **全體總和**：可數個可數集的聯集 $|S_u| = |T| \times |\mathcal{S}_t| = \aleph_0 \cdot \aleph_0 = \aleph_0$
**說明**：本命題的證明範圍為已生與當生有為法集合 $S_u$。未來不生法（及對應的得非得）的可數性問題，因涉及對「因緣闕失」路徑的計數，在當前公理體系內暫未確定。
## 4 完整嚴謹證明
### 4.1 時間軸的可構造可數性
由公理 A1「無有前際」與 A4「時間序列離散，每一有為法的生滅時長均為固定基本單位 $\tau$」，全體已生剎那構成單向無限的離散序列：
$$
T_{\text{past+present}} = \{ \ldots, t_{-2}, t_{-1}, t_0 \}
$$
其中 $t_0$ 為現在位，向過去無限延伸。該序列與自然數集 $\mathbb{N}$ 存在顯式一一對應：$t_{-n} \leftrightarrow n$，故 $|T_{\text{past+present}}| = \aleph_0$。
未來當生法將依次進入現在位，其時間結構與已生時間軸相同，故可類比得到未來時間軸 $T_{\text{future}} = \{ t_1, t_2, t_3, \ldots \}$，亦與 $\mathbb{N}$ 同構。
將已生與當生時間軸合併：
$$
T = T_{\text{past+present}} \cup T_{\text{future}} = \{ \ldots, t_{-2}, t_{-1}, t_0, t_1, t_2, \ldots \}
$$
該序列與整數集 $\mathbb{Z}$ 存在顯式一一對應：$t_n \leftrightarrow n$。因此：
$$
|T| = \aleph_0
$$
**時間步數的定義**：對任意兩個剎那 $t_i, t_j$，其時間步數定義為序號差的絕對值：
$$
\text{tstep}(t_i, t_j) = |i - j| \in \mathbb{N}
$$
若 $i \ne j$，則 $\text{tstep}(t_i, t_j) \ge 1$。這意味著：不存在兩個不同剎那之間的時間步數小於 1——最小時間步數就是 1。此處不涉及任何實數度量，「序號差」是純粹的離散計數。
### 4.2 單剎那色法集合的離散性與可數性
#### 4.2.1 空間結構的內生定義
在證明之前，先明確空間結構的定義框架：
**定義 4（空間單元）**：由 $k$ 個極微聚積而成的最小有方分色法單位（$k$ 為固定正整數，如 $k=7$）。空間單元具有確定的內部結構（一中心、六方），是空間關係的基本載體。極微本身無方分，其空間位置是派生的——來自於「該極微屬於哪個空間單元」以及「該極微在該空間單元中的角色（中心或方向）」。
**定義 5（空間步數）**：兩個空間單元 $U, V$ 之間的空間步數定義為：
$$
\text{step}(U, V) = \min\{ n \in \mathbb{N} \mid \text{存在路徑 } U = W_0 \sim W_1 \sim \cdots \sim W_n = V \}
$$
其中 $W_i \sim W_{i+1}$ 表示直接相鄰。由 A2a-4（連通性），任意兩個空間單元之間至少存在一條路徑，故該最小值存在；當 $U \ne V$ 時，$n \ge 1$，故步數為正整數。
**定義 6（極微步數）**：極微 $p \in U$ 與極微 $q \in V$ 之間的步數：
- 若 $U = V$：步數為 1（同一空間單元內的基本步數）
- 若 $U \ne V$：步數為 $\text{step}(U, V)$（以空間單元步數為準）
由定義直接得到：**任意兩個不同極微的步數為正整數 ≥ 1**。
#### 4.2.2 現在剎那色法的離散性證明
取現在剎那 $t_0$，設其全體色法集合為 $\mathcal{R}(t_0)$。
由定義 5 和定義 6，任意兩個不同空間單元（或極微）之間的步數為正整數 ≥ 1。因此，對任意 $r_0 \in \mathcal{R}(t_0)$，取孤立半徑 $\varepsilon_{r_0} = 1$，則：
$$
\{ r \in \mathcal{R}(t_0) \mid \text{step}(r_0, r) < 1 \} = \{ r_0 \}
$$
因為不存在任何色法 $r \ne r_0$ 能使 $\text{step}(r_0, r) < 1$。由定義 1，$\mathcal{R}(t_0)$ 是離散集。
#### 4.2.3 現在剎那色法的可數性證明
**第一步：空間單元的分層遍歷**
由 A2a-3（局部有限性），每個空間單元僅與有限多個空間單元直接相鄰。由 A2a-4（連通性），全體空間單元構成一個連通整體。
構造分層遍歷如下：
- 第 0 層：任選一空間單元為起點
- 第 $n+1$ 層：第 $n$ 層所有空間單元的直接相鄰空間單元之並集（剔除已訪問者）
- 由於每一層的節點數有限（歸納假設），且每個節點的鄰居數有限（A2a-3），故每一層均為有限集合。
由連通性（A2a-4），上述分層遍歷最終覆蓋全體空間單元。因此全體空間單元是可數個有限層的並集：
$$
\mathcal{U} = \bigcup_{n=0}^{\infty} L_n
$$
其中 $|L_n| < \infty$。因此全體空間單元的數量 $|\mathcal{U}| = \aleph_0$。
**第二步：全體極微的可數性**
每個空間單元由固定 $k$ 個極微構成（A2a-2）。因此全體極微的總數為：
$$
|\mathcal{R}(t_0)| = k \cdot |\mathcal{U}| = k \cdot \aleph_0 = \aleph_0
$$
由 A2a-1「色法由極微構成」及 A2a-4「全體空間單元連通」，色法總數無窮，故 $|\mathcal{R}(t_0)| \ge \aleph_0$。綜合得：
$$
|\mathcal{R}(t_0)| = \aleph_0
$$
#### 4.2.4 推廣至一切已生與當生剎那
上述 4.2.2 與 4.2.3 的證明僅依賴於 A2a-1 ~ A2a-4 所刻畫的空間結構性質（空間單元離散、步數為正整數、局部有限、連通等），這些性質對一切剎那（過去已生、現在、未來當生）普遍適用。
因此，對任意已生或當生剎那 $t \in T$：
$$
|\mathcal{R}(t)| = \aleph_0
$$
且 $\mathcal{R}(t)$ 為離散集。
### 4.3 單剎那心法集合的離散性與可數性
#### 4.3.1 現在剎那心法的離散性證明
取現在剎那 $t_0$，設其全體心法集合為 $\mathcal{C}(t_0)$。
由公理 A3c「心法只有因果聯繫，無漸近關係」：
- 不存在心法序列可以無限趨近於某一個心法
- 心法之間沒有「步數」這類空間性概念——它們的關係是因果性的，而非空間性的
對任意心法 $c \in \mathcal{C}(t_0)$，定義其步數函數為退化形式：
$$
\text{step}(c_1, c_2) = \begin{cases}
0 & c_1 = c_2 \\
1 & c_1 \ne c_2
\end{cases}
$$
則對任意 $c \in \mathcal{C}(t_0)$，取孤立半徑 $\varepsilon_c = 1$，有：
$$
\{ c' \in \mathcal{C}(t_0) \mid \text{step}(c, c') < 1 \} = \{ c \}
$$
由定義 1，$\mathcal{C}(t_0)$ 是離散集。
#### 4.3.2 現在剎那心法的可數性證明
由公理 A2b：
- 無色有情可單射嵌入欲色界有情的集合中。設嵌入映射為 $\iota: \text{無色有情}_{t_0} \to \text{欲色界色身}_{t_0}$，由於是單射，$|\text{無色有情}_{t_0}| \le |\text{欲色界色身}_{t_0}|$。而後者已包含於 $|\mathcal{R}(t_0)|$ 中。
- 每個一色身或一有情一剎那僅對應有限個心法（最多 26 個）。
因此現在剎那所有心法均可歸屬到某一個色身。每一色身至多對應 $m$ 個心法（$m \le 26 \times 2$，嵌入無色有情故乘2），故：
$$
|\mathcal{C}(t_0)| \le |\mathcal{R}(t_0)| \times m = \aleph_0 \times m = \aleph_0
$$
又因 A2b 心法數量無窮，$|\mathcal{C}(t_0)| \ge \aleph_0$。
綜合得：
$$
|\mathcal{C}(t_0)| = \aleph_0
$$
#### 4.3.3 推廣至一切已生與當生剎那
上述證明僅依賴於 A2b 和 A3c，這些性質對一切剎那普遍適用。因此對任意已生或當生剎那 $t \in T$：
$$
|\mathcal{C}(t)| = \aleph_0
$$
且 $\mathcal{C}(t)$ 為離散集。
### 4.4 不相應行法的可數性
不相應行法中：
- (4)無想異想、(5-6)二無心定（各二十二物）、(7)命根，同一有情一剎那不會生起多類。
- (8-11)四相，和所相的有為法俱生俱滅。
- (12)名句文身，依語表業各別現起。
- (3)眾同分，作為有情或法上的性質，與有情及法俱起。
對任一已生或當生剎那 $t \in T$，這部分$\mathcal{V}(t)$ 與 $\mathcal{R}(t) \cup \mathcal{C}(t)$ 同步生滅，因此：
$$
|\mathcal{V}(t)| \le (|\mathcal{R}(t)| + |\mathcal{C}(t)|) \times m = \aleph_0 \times m = \aleph_0
$$
其中 $m$ 為不相應行法的種類數（可數）。且由與色心俱生，其數量無窮，故：
$$
|\mathcal{V}(t)| = \aleph_0
$$
不相應行法無獨立的漸近關係，故其離散性由所依附的色心法的離散性保證。對任意 $v \in \mathcal{V}(t)$，取其所依附的色法或心法的孤立半徑，即可保證其自身也是孤立點，故 $\mathcal{V}(t)$ 為離散集。
- (1)得、(2)非得，與所得/不得法（與本相隨相、大小得同聚）數量一致。
與不生法對應的非擇滅得非得、有漏不生法的擇滅得非得、不生善惡法的得非得等，作為可生起的有為法，其離散性由時間軸的離散性（A4）保證。但是這部分涉及不生法，數量上無法確定，不在本證明範圍之內。
### 4.5 單剎那有為法總數
對任意已生或當生剎那 $t \in T$，該剎那的全體有為法集合為：
$$
\mathcal{S}_t = \mathcal{R}(t) \cup \mathcal{C}(t) \cup \mathcal{V}(t)
$$
（除去：與不生法對應的非擇滅得非得、有漏不生法的擇滅得非得、不生善惡法的得非得等。）
由 §4.2.4、§4.3.3、§4.4：
$$
|\mathcal{S}_t| = |\mathcal{R}(t) \cup \mathcal{C}(t) \cup \mathcal{V}(t)| = \aleph_0
$$
且 $\mathcal{S}_t$ 為離散集：對任意 $x \in \mathcal{S}_t$，其步數函數可定義為：若 $x$ 為色法則用空間步數，若為心法或不相應行法則用退化步數或繼承步數。由於每類法均有孤立半徑（色法、心法為1，不相應行法繼承之），故三類離散集的並集仍為離散。
### 4.6 跨剎那已生與當生有為法的離散性與可數性
#### 4.6.1 跨剎那離散性證明
需排除跨剎那的聚點，從三個維度分別論證：
**（一）時間維度**
由 A3b「色心剎那生滅同步進行」：所有心法的生滅時刻完全與色法剎那嚴格對齊，不存在色法與心法交錯於不同時間點的情況，因此不會出現「因不同法類時間錯位而導致的有為法序列在時間上無限趨近」。
由 A4「時間序列離散，每一有為法的生滅時長均為固定基本單位 $\tau$」，任意兩個不同剎那 $t_i, t_j$（$i \ne j$）的時間步數為：
$$
\text{tstep}(t_i, t_j) = |i - j| \ge 1
$$
因此不存在兩個不同剎那可以在時間上「少於 1 步」地接近——最小時間步數就是 1。
**（二）空間維度**
由 A3a「不同剎那間色法無空間漸近關係，僅網格式躍遷」：
- 不同剎那的色法分屬不同的時間層
- 它們之間不存在空間上的連續變化或無限趨近
**關於「異剎那同位置」的說明**：
此處需特別注意「異剎那同位置」的情形。依公理 A1 及 A2a，空間並非獨立實有，而是依色法的相對位置而施設。因此，「同一空間位置」的意義嚴格綁定於同一時間切片內的色法相對格局。不同剎那的色法分屬不同的時間層，其「位置相同」僅是各自時間切片內網格索引的偶然重合，而非跨越時間的同一背景坐標。
跨剎那空間索引對應的基準：雖然不同剎那的空間網格（$G_i$ 與 $G_j$）各屬不同的時間層，但基於器世間的相續穩定性與同類色法的相續生起，不同剎那間存在一個「業力所感的共相」或「空間類比基準」。
在說一切有部的框架下，佛於十方世界獨一出現，故我們所處的此界具有明確的定位基礎。在此界中，第四禪天不受大三災破壞，其器世間格局於相鄰剎那間保持相對穩定，且由於不同有情的生滅時刻交錯（情俱生滅故），其整體空間結構僅有有限局部的極微變動。
因此，此世界第四禪天之空間格局可作為十方世界一切已生與當生色法的跨剎那空間基準。任一色法皆可定義為相對於此基準的偏移量（由共業感得），藉此，不同剎那間的色法可透過該基準的自然同構對應進行空間步數之比較。此基準完全內生於有為法，未引入任何外部連續時空。
此基準確保了：對於任一色法，其在後一剎那的空間位置索引（$p_j$），是基於前一剎那同類色法（或同聚色法）的空間索引，依固定規則（如「度一極微」）躍遷而來。因此，比較 $p_i$ 與 $p_j$ 的「相同」或「不同」，以及計算最短路徑，是有明確定義的結構性操作，不依賴於一個外部的絕對坐標系。
由於不同時間層之間不存在獨立連續的空間背景作為刻畫「無限趨近」的參數空間（A3a 規定為網格式躍遷），此類跨剎那色法相續的重合或鄰接僅是離散層間的不連續對應，不構成拓撲意義上的聚點。
**跨剎那色法步數的具體計算規則**：
對任意 $r_i \in \mathcal{R}(t_i)$ 和 $r_j \in \mathcal{R}(t_j)$（$i \ne j$），其跨剎那步數由時間步數與空間步數共同構成：
$$
\text{step}(r_i, r_j) = \text{tstep}(t_i, t_j) + \text{spacestep}(r_i, r_j)
$$
其中各部分的定義如下：
**（1）時間步數**：
$$
\text{tstep}(t_i, t_j) = |i - j| \ge 1
$$
**（2）空間步數**：
- 首先，將 $r_i$ 定位於 $t_i$ 剎那空間結構 $G_i$ 中的位置索引 $p_i$
- 將 $r_j$ 定位於 $t_j$ 剎那空間結構 $G_j$ 中的位置索引 $p_j$
- 然後基於上述「跨剎那空間對應基準」比較 $p_i$ 與 $p_j$：
- 若 $p_i = p_j$（位置索引重合），則 $\text{spacestep}(r_i, r_j) = 0$
- 若 $p_i \ne p_j$，則 $\text{spacestep}(r_i, r_j)$ 為依據該基準下 $p_i$ 與 $p_j$ 之間的最短路徑步數，為正整數
> **關鍵**：此處的「位置索引」是各自時間層內部的相對位置標記，其跨時間的對應由「空間類比基準」提供，不依賴於任何跨越時間的絕對坐標系統。
由上述定義，對於任意兩個不同的已生或當生色法 $r_i \ne r_j$：
- 若 $i \ne j$（不同剎那），則 $\text{tstep}(t_i, t_j) \ge 1$，故 $\text{step}(r_i, r_j) \ge 1$
- 若 $i = j$（同剎那），則由 §4.2.2，$\text{spacestep}(r_i, r_j) \ge 1$，故 $\text{step}(r_i, r_j) \ge 1$
因此，不存在任何兩個不同色法可以使總步數小於 1。跨剎那的「任意接近」被徹底排除。
**（三）心法維度**
由 A3c「心法只有因果聯繫，無漸近關係」：
- 心法之間不存在空間維度的無限趨近
- 也不存在以任何內生屬性為參數的無限趨近
對任意心法 $c_i \in \mathcal{C}(t_i)$ 和 $c_j \in \mathcal{C}(t_j)$（$i \ne j$），其步數定義為：
$$
\text{step}(c_i, c_j) = \text{tstep}(t_i, t_j) = |i - j| \ge 1
$$
心法不依託空間位置，其跨剎那步數完全由時間步數決定。
**綜合結論**：
由上述三個維度的論證，全體已生與當生有為法 $S_u$ 中：
- 任意兩個不同色法（無論同剎那或跨剎那）的步數均為正整數 ≥ 1
- 任意兩個不同心法的步數均為正整數 ≥ 1
- 不相應行法繼承其所依附的色法或心法的步數，亦為正整數 ≥ 1
因此，對任意 $x \in S_u$，取孤立半徑 $\varepsilon_x = 1$，則滿足 $g(x, y) < 1$ 的 $y$ 僅有 $x$ 自身。由定義 1，整個集合 $S_u$ 保持離散性。
#### 4.6.2 全體集合可數性證明
已生與當生有為法集合 $S_u$ 為：
$$
S_u = \bigcup_{t \in T} \mathcal{S}_t
$$
其中 $T$ 為全體已生及當生剎那的集合，與 $\mathbb{Z}$ 同構，$|T| = \aleph_0$（§4.1）。
由 §4.5，每一剎那的 $\mathcal{S}_t$ 為可數集，且其可數枚舉已在 §4.2.3（空間分層）與 §4.3.2（心法歸屬）中通過**分層遍歷與有限依附**顯式構造。
因此，可將 $S_u = \bigcup_{t\in T} \mathcal{S}_t$ 中的元素 $(t_i, s_j)$ 直接映射至自然數。定義顯式雙射 $\Phi: S_u \to \mathbb{N}$ 為（Cantor配對函數）：
$$
\Phi(t_i, s_j) = \frac{(i'+j)(i'+j+1)}{2} + j
$$
其中 $i'$ 是將 $i \in \mathbb{Z}$ 雙射至非負整數的對應值，具體構造為：
$$
i' = \begin{cases}
2i, & i \ge 0 \\
-2i - 1, & i < 0
\end{cases}
$$
此映射為顯式、可計算的，完全不依賴選擇公理。因此：
$$
|S_u| = \left| \bigcup_{t \in T} \mathcal{S}_t \right| = \aleph_0 \cdot \aleph_0 = \aleph_0
$$
### 4.7 關於未來不生法的說明
本命題的嚴格證明範圍為已生與當生有為法集合 $S_u$。未來不生法的可數性問題在此單獨說明：
#### 4.7.1 不生法的離散性
不生法雖不進入時間序列，但其法體結構（極微構成、心法種類等）與已生、當生法相同，故其離散性可由 §4.2.2 與 §4.3.1 的證明類比推出。此點在本體系內是確定的。
#### 4.7.2 不生法的可數性問題
不生法的總集是否可數，涉及對「因緣闕失而未能生起之法」的精確計數。其困難在於：
> 即使基礎狀態（可生起的有為法種類）是可數的，其「所有可能不生路徑」的總數在純數學上需要額外的結構性界定。
集合論中，即使基礎狀態可數，其無限演化路徑的總數可達不可數（$2^{\aleph_0}$）。這是因為每一層的可數分叉，經過無限多層的組合，總數可達 $\aleph_0^{\aleph_0} = 2^{\aleph_0}$。
但這描述的是數學上「所有可能路徑」的總數，並不直接決定「被截斷的端點」的總數，後者需要基於不生法自身的結構（如因緣闕失的具體範圍與方式）單獨處理（如 [s32](婆沙031-040.md#c1非擇滅得漸增-於五識無量解脫等)）。
因此，不生法的可數性問題在當前公理體系內保持開放，**不影響本命題對 $S_u$ 離散可數性的確立**。
#### 4.7.3 與不生法對應的得非得
與不生法對應的非擇滅得非得、有漏不生法的擇滅得非得、不生善惡法的得非得等，作為可生起的有為法，其離散性由時間軸的離散性（A4）保證。
但其總量是否可數，與不生法計數問題直接相關，在當前公理體系內暫未確定。
因此，本命題的已生與當生有為法集合 $S_u$ 中不包含此類「得非得」，其可數性不影響 $S_u$ 的證明。
## 5 結論
已生與當生有為法集合 $S_u$ 同時滿足離散集與可數集的定義：
1. **離散性**：每一剎那內色法步數為正整數（§4.2.2），心法為退化步數（§4.3.1），跨剎那步數亦為正整數（§4.6.1）——對任意 $x \in S_u$，取孤立半徑 $\varepsilon_x = 1$，則其步數鄰域內僅有自身，滿足定義 1 的離散性條件。
2. **可數性**：時間軸可數（§4.1），每一剎那有為法可數（§4.5），且通過顯式雙射 $\Phi$（§4.6.2）給出可數個可數集的並集仍可數。
因此：
> **已生及當生有為集合是離散可數集，命題得證。**
未來不生法的離散可數性問題，因涉及對演化路徑截斷的精確計數，在當前公理體系內暫未納入命題的嚴格證明範圍，暫且擱置。
## 附錄：關鍵推論總結
| 推論 | 依據 | 結論 |
| :--------- | :------------------------------------------ | :--------------- |
| 時間軸可數 | A1（無有前際）+ A4（剎那離散，固定單位 $\tau$） | $\lvert T\lvert = \aleph_0$ |
| 單剎那色法離散 | A2a-3（相鄰離散）+ A2a-4（步數為正整數） | 同剎那色法無聚點，各點有孤立半徑 |
| 單剎那色法可數 | A2a-2（空間單元有限極微）+ A2a-4（空間單元局部有限、連通） | $\lvert \mathcal{R}(t) \lvert = \aleph_0$ |
| 單剎那心法可數 | A2b（心法有限依附於色身，無色界單射嵌入） | $\lvert \mathcal{C}(t) \lvert = \aleph_0$ |
| 單剎那不相應行法可數 | 與色心俱生，種類有限 | $\lvert \mathcal{V}(t) \lvert = \aleph_0$ |
| 單剎那有為法可數 | 三類可數集之並 | $\lvert \mathcal{S}_t \lvert = \aleph_0$ |
| 跨剎那離散 | A3a（網格式躍遷及對應基準）+ A3b（色心同步）+ A3c（心法無漸近）+ A4（時間離散） | 無跨剎那聚點，跨剎那步數 ≥ 1 |
| 已生當生全體可數 | 可數個可數集的並，且給出顯式雙射 $\Phi$ | $\lvert S_u \lvert = \aleph_0$ |
**核心語言**：用「步數」徹底替代「距離」「間距」等可能攜帶外部聯想的詞彙
**核心概念**：步數 = 純粹的離散計數關係，取值為自然數，無需任何實數或連續度量；離散性 = 每個點都有孤立半徑
**證明範圍**：已生與當生有為法（$S_u$），未來不生法暫且擱置
**依賴的外部數學**：僅使用基本集合論（並、笛卡爾積、可數性）和圖論語言（節點、邊、路徑），不涉及實數、歐氏空間或選擇公理