/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-08-07 21:04
---
ᅟ<span class="date">Updated: 2026-08-07 21:04</span>
[arpcn](https://arpcn.github.io/)>
ᅟ 宗杰ᅟ2026年7月6日ᅟ
# 有為法集合的離散可數性
Discrete_Countability_of_Samskrita-Dharmas
==\[cf. [三世有的集合論模型](三世有的集合論模型.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)$（對稱性）
- 若 $x, y, z$ 屬於同一適用域（見說明），且彼此間 $g$ 有意義，滿足 $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.3.1 定義 8）。
- 對時間中的剎那，$g$ 為時間步數（§4.1）。
- 所有 $g$ 的定義均不涉及實數，完全由有為法的內生結構給出。
- 異類法之間（如色法與心法）因不共享可供連續度量的參數空間，故無需定義步數。
- 由於空間步數的臨時性，此三角不等式并非全域屬性，而是**分域成立**的局部性質。它僅在兩種適用域內成立：(a) 單一剎那內的全體有為法集合 $\mathcal{S}_t$（由空間步數或退化步數滿足），或 (b) 時間軸 $T$（由時間步數 $\text{tstep}(t_i, t_j) = |i-j|$ 滿足）。不同域之間的步數不進行混合比較，三角不等式只在本適用域內（可由域內步數定義直接證成，故不另作獨立驗證），確保域內步數結構的一致性，賦予步數局部度量的身份，在證明中不直接參與離散性的判定。
**定義 2（可數集）**：集合 $S$ 是可數的，若存在從 $S$ 到自然數集 $\mathbb{N}$ 的顯式雙射。該雙射必須是可構造的，不依賴非構造性選擇公理。
**定義 3（內生計數）**：本命題中所有「數量」「基數」「可數」等概念，均指通過有為法自身的離散結構（如剎那序號、空間單元步數、世界分層遍歷等）可構造地確定的計數結果，不依賴於外部集合論的冪集運算或不可數基數的預設。
### 1.2 基礎預設
1. **無外部時空**：不存在獨立於有為法之外的連續時空。所有空間關係由色法的相對位置定義，所有時間關係由有為法的剎那生滅序列定義。
2. **空間的內生性**：空間不是預設的背景容器，而是由色法之間的「共在」與「相鄰」關係構成的離散結構。該結構的所有性質均由公理直接規定，不藉助任何外部度量。
3. **時間的內生性**：時間不是獨立流逝的均勻背景，而是由有為法的剎那生滅事件構成的離散序列。每一有為法的生滅時長即為一剎那，為固定的基本時間單位。
## 2 公理體系
所有公理均直接刻畫有為法的本然性質，無任何外部幾何假設。
### 2.1 時間公理
| 編號 | 公理內容 |
| :----: | :------------------------------------------------------------------- |
| **A1** | 有為法唯剎那生滅，無有前際。色法之外無獨立空間，有為法之外無獨立時間。 |
| **A4** | 已生當生有為法剎那生滅，形成單向無分支不間斷的時間序列。每一有為法的剎那住時時長均為固定的基本時間單位 $\tau > 0$（即一剎那） |
**說明**：2.1及2.3關於有為法剎那性的基礎，可參考：[三世有的集合論模型](三世有的集合論模型.md#2.3.2.1.前後剎那) 及 [無分剎那](略析有部極微理論的基礎#2.3ᅟ無分剎那的建立)，此義為有部、唯識、中觀等多宗共許。
### 2.2 色法空間公理
**核心原則**：以下公理不試圖全面重建空間，而是局部規定空間結構所具有的某些性質。
| 編號 | 公理內容 |
| :-------: | :----------------------------------------------------------------------------------------------- |
| **A2a-1** | 積集色法數量無窮，由極微構成。單個極微無方分（無方向、無部分），不可再分。極微互不相觸。 |
| **A2a-2** | 存在一個固定的正整數 $k=35$，使得 $k$ 個極微聚積為一個「空間單元」。空間單元是有方分的最小色法單位，具有確定的空間結構（如「一中心、六方」）。任一有方分色法均由有限個空間單元構成。 |
| **A2a-3** | 空間單元之間的「相鄰」關係(見說明)滿足：任意兩個空間單元要麼直接相鄰，要麼不相鄰。每個空間單元的直接相鄰空間單元數量有限。（局部有限性） |
| **A2a-4** | 任意兩個不同的空間單元之間，都通過相鄰關係存在連通路徑。（連通性） |
**說明**：
- 公理 A2a-2 中的 $k=35$ 是說一切有部的傳統說法（七極微成一微量），但本命題的證明不依賴於 $k$ 的具體數值，只需 $k$ 為固定正整數。空間單元的空間結構由「顯色七微微塵」定義：以七方（中心及四維上下）排列的七個顯色極微，構成一個有方分的最小色法基准單位；依「四大造色用增說」，每一造色極微各有四能造極微，故成 35 極微。 其他所造色（香、味、觸等）及能造四大種，以有限的種類和數量，雜住於此基准結構之上，共同構成能作為根識所依或所緣的「微聚」（但是不以微聚作為空間單元的標準量度）。七微微塵與八事微聚的構造及顯色的普遍性，參考[paramanu](略析有部極微理論的基礎#4.3ᅟ八事微聚與七微微塵的統一)。從「無方分」到「有方分」，涉及色法的基本原理，參考[paramanu](略析有部極微理論的基礎#第3章ᅟ無分與和集)。
- 公理 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「已生當生有為法剎那生滅，形成單向無分支不間斷的時間序列」，全體已生剎那構成從現在向過去無限延伸的序列：
$$
T_{\text{past+present}} = \{\ldots, t_{-2}, t_{-1}, t_0\}
$$
其中 $t_0$ 為現在位。由 A4 的「單向無分支不間斷」可知，每一剎那有且僅有一個緊鄰前驅，且相鄰剎那之間無空隙；由 A1「無有前際」可知，向過去無限延伸。該序列與自然數集 $\mathbb{N}$ 存在顯式一一對應：$t_{-n} \leftrightarrow n$，故 $|T_{\text{past+present}}| = \aleph_0$。
又由 A4「已生當生」中的「當生」，未來當生有為法（於餘有情雖未決定何法何次第；然佛以遍知智，能圓滿了知當生諸法及剎那位次）將依次進入現在位，其時間序列結構與已生時間軸相同（同為單向無分支不間斷），故可類比得到未來時間軸 $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
$$
**時間軸離散性的證明**：
由 A4「每一有為法的剎那住時時長均為固定的基本時間單位 $\tau > 0$」及「不間斷」：前一剎那滅去的同時，後一剎那即生起，中間無有空隙。因此，從 $t_i$ 的生起到 $t_{i+1}$ 的生起，所經過的時間即為一個 $\tau$。對任意兩個不同剎那 $t_i, t_j$（$i \ne j$），其間至少間隔一個 $\tau > 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。此處不涉及任何實數度量，「序號差」是純粹的離散計數。
現對任意 $t_i \in T$，取孤立半徑 $\varepsilon_{t_i} = 1$（以時間步數計），則：
$$
\{ t \in T \mid \text{tstep}(t_i, t) < 1 \} = \{ t_i \}
$$
因為若 $t \ne t_i$，則 $\text{tstep}(t_i, t) = |i-j| \ge 1$，不小於 1。由定義 1（離散集），$T$ 是離散集。
### 4.2 單剎那色法集合的離散性與可數性
#### 4.2.1 空間結構的內生定義
在證明之前，先明確空間結構的定義框架：
**定義 4（空間單元）**：由 $k=35$ 個極微聚積而成的最小有方分色法單位（公理 A2a-2，餘雜住極微先擱置）。其空間結構由「顯色七微微塵」定義：以七方（中心及四維上下）排列的七個顯色極微構成有方分的基准框架。此35極微構成空間單元的基准結構，是空間關係的基本載體。極微本身無方分，其空間位置是派生的——來自於「該極微屬於哪個空間單元」以及「該極微在該空間單元中的角色（中心或方向）」。
**定義 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**。
**定義 7（雜住極微的附加說明）**：其他所造色（香、味、觸等）及能造四大種，以有限的種類和數量雜住於此基准結構之上（A2a-2說明）。雜住極微不參與空間單元間「相鄰」關係的定義，亦不影響空間步數的計量。其在可數性證明中將被納入計數，在離散性證明中不引入新的聚點。
#### 4.2.2 現在剎那色法的離散性證明
取現在剎那 $t_0$，先考慮基准結構中的全體極微集合 $\mathcal{R}^{\text{base}}_c(t_0)$。
由定義 5 和定義 6，基准結構中任意兩個不同極微之間的步數為正整數 ≥ 1。因此，對任意 $r_0 \in \mathcal{R}^{\text{base}}_c(t_0)$，取孤立半徑 $\varepsilon_{r_0} = 1$，則：
$$
\{ r \in \mathcal{R}^{\text{base}}_c(t_0) \mid \text{step}(r_0, r) < 1 \} = \{ r_0 \}
$$
因為不存在任何基准極微 $r \ne r_0$ 能使 $\text{step}(r_0, r) < 1$。故 $\mathcal{R}^{\text{base}}_c(t_0)$ 是離散集。
此處的「步數」即為定義 1 中的「步數函數 $g$ 」在色法上的具體實現。
**雜住極微的處理**：雜住極微以有限種類和數量附加於各空間單元的基準結構之上。其與基準極微的具體結合方式（如互相涉入、附著於邊界等）在論中未有明定，然此不影響離散性的判定——只需確認以下兩點：
1. **依附性**：任一雜住極微必依附於某個或多個空間單元（如：七個香極微與多個顯色空間單元雜住），不存在獨立於所有空間單元之外的雜住極微。
2. **有限性**：每個空間單元所容納的雜住極微數量存在有限上界 $m$（由 A2a-2 說明中「有限的種類和數量」所保證）。
由此，每個空間單元對應的極微總數（基準35 + 雜住極微）均不超過 $35 + m$，為有限數。由於極微互不相觸（A2a-1），空間單元之間的「相鄰」關係及空間步數由基準結構定義，雜住極微不參與此定義，亦不改變空間單元之間的離散關係。因此，將雜住極微納入後，全體積集色法的離散性由空間單元層面的離散性直接繼承：任一極微所屬的空間單元若被孤立，則該單元內有限個極微皆被孤立，不會產生新的聚點。
#### 4.2.3 現在剎那色法的可數性證明
**第一步：空間單元的分層遍歷**
由 A2a-3（局部有限性），每個空間單元僅與有限多個空間單元直接相鄰。由 A2a-4（連通性），全體空間單元構成一個連通整體。
構造分層遍歷如下：
- 第 0 層：任選一空間單元為起點
- 第 $n+1$ 層：第 $n$ 層所有空間單元的直接相鄰空間單元之並集（剔除已訪問者）
- 由於每一層的節點數有限（歸納假設），且每個節點的鄰居數有限（A2a-3），故每一層均為有限集合。
由連通性（A2a-4），上述分層遍歷最終覆蓋全體空間單元。由 A2a-1 積集色總數無窮，因此全體空間單元是可數個有限層的並集：
$$
\mathcal{U} = \bigcup_{n=0}^{\infty} L_n
$$
其中 $|L_n| < \infty$。因此全體空間單元的數量 $|\mathcal{U}| = \aleph_0$。
**第二步：全體極微的可數性**
每個空間單元由固定 $k=35$ 個極微構成其基準結構（A2a-2）。因此基准極微的總數為：
$$
|\mathcal{R}^{\text{base}}_c(t_0)| = 35 \cdot |\mathcal{U}| = 35 \cdot \aleph_0 = \aleph_0
$$
此外，其他所造色（香、味、觸等）以有限的種類和數量依附於此基准結構之上。設每個空間單元上雜住的極微數量最多為 $m$（$m$ 為有限正整數），則全體雜住極微的總數 $|\mathcal{R}^{\text{杂}}_c(t_0)| \le m \cdot |\mathcal{U}| = m \cdot \aleph_0 = \aleph_0$。
因此全體積集色法極微的總數為：
$$
|\mathcal{R}_c(t_0)| = |\mathcal{R}^{\text{base}}_c(t_0)| + |\mathcal{R}^{\text{杂}}_c(t_0)| = \aleph_0 + \aleph_0 = \aleph_0
$$
此結果同時表明積集色法為可數無窮，與 A2a-1「數量無窮」的預設一致。
無表色非極微所成，然任一有情於一剎那所可能生起的無表色種類有限（如律儀、不律儀、處中等，品類支數可數）；現在有情總數為 $\aleph_0$（由 A2b 與積集色法可數性類比得出），故現在剎那無表色總數 $|\mathcal{R}_{\text{av}}(t_0)| \le \aleph_0 \times m' = \aleph_0$，其中 $m'$ 為有限常數。
綜合極微色與無表色：
$$
|\mathcal{R}(t_0)| = |\mathcal{R}_c(t_0)| + |\mathcal{R}_{\text{av}}(t_0)| = \aleph_0 + \aleph_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)$。
由公理 A2b，每一有情於現在剎那所現起的心法數量有限（最多26個），且這些心法**同時相應**，互為俱有因，同生同滅，彼此之間無時間差、無空間位置差，只有各自不同的體性和作用；不存在先後順序或漸近關係。
不同有情的心法因果各別，分屬不同的因果系，更無任何可比較的漸近關係。
**定義 8（退化步數）**：對任意心法 $c_1, c_2 \in \mathcal{C}(t)$，定義其步數函數為退化形式：
$$
\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 不相應行法的可數性
不相應行法中，除「(1)得」與「(2)非得」需特殊處理外，其餘各類（無想異想、二無心定、命根、四相、名句文身、眾同分等）皆與色心法同步生滅，其可數性由色心法的可數性直接保證。
#### 4.4.1 基本不相應行法的可數性
對任一已生或當生剎那 $t \in T$，下列不相應行法：
- (4)無想異想、(5-6)二無心定（各二十二物）、(7)命根，同一有情一剎那不會生起多類；
- (8-11)四相，和所相的有為法俱生俱滅；
- (12)名句文身，依語表業各別現起；
- (3)眾同分，作為有情或法上的性質，與有情及法俱起。
以上各類與 $\mathcal{R}(t) \cup \mathcal{C}(t)$ 同步生滅，可數性由同剎那的有情及有為法決定，故其集合 $\mathcal{V}_{\text{basic}}(t)$ 滿足：
$$
|\mathcal{V}_{\text{basic}}(t)| \le (|\mathcal{R}(t)| + |\mathcal{C}(t)|) \times m = \aleph_0 \times m = \aleph_0
$$
其中 $m$ 為上述不相應行法的種類系數，主要比重集中在四相及眾同分上（可數）。且由與色心俱生，其數量無窮，故：
$$
|\mathcal{V}_{\text{basic}}(t)| = \aleph_0
$$
不相應行法無獨立的漸近關係，故其離散性由所依附的色心法的離散性保證：對任意 $v \in \mathcal{V}_{\text{basic}}(t)$，取其所依附的色法或心法的孤立半徑，即可保證其自身也是孤立點，故 $\mathcal{V}_{\text{basic}}(t)$ 為離散集。
#### 4.4.2 得的可數性
**注意**：與不生法對應的非擇滅得非得、有漏不生法的擇滅得非得、不生善惡法的得非得等，作為可生起的有為法，其離散性由時間軸的離散性（A4）保證。但這部分涉及不生法的計數問題，其總量是否可數在當前公理體系內暫未確定，故不在本證明範圍之內。
「得」的數量並非僅由該剎那的色心法決定。需考慮三類來源：
##### （a）法俱得
該剎那現起的色心法及命根等（與本相隨相、大小得同聚），各有其對應的「法俱得」。一個有情一剎那現起的色心等法數量有限，但是有情數量是可數無窮，故此類得的數量為 $\aleph_0$。（這裏只是舉最簡單的情況做前行說明，下面(b)會進一步擴展計算，會再加上現在剎那 $t_0$ 現起的法前得、法後得，及同時小得。）
##### （b）跨剎那的鏡面投射
由於「得」本身是有為法，可成為其他剎那「得」的對象，跨剎那的鏡面效應會在單一剎那內累積無窮多個「得」。
**鏡面效應的簡單情況**：
以未離欲者 $a, b$ 兩不同剎那為例，設 $A$ 為某時現起的欲貪，$P(t, x)$ 表示「在剎那 $t$，於法 $x$ 上所生起的得」，定義迭代算子 $\Phi(x) = P(a, P(b, x))$，則在 $a$ 剎那因鏡面效應而現起的得集合為：==\[[js04](俱舍論記疏04#^2bcp5h)]==
$$
\mathcal{S}_a^{(\text{mirror})} = \{ \Phi^n(P(a, P(b, A))) \mid n \ge 1 \}
$$
該集合與 $\mathbb{N}$ 一一對應（從 $1$ 開始），故其基數為 $\aleph_0$。
**鏡面效應的普遍情況**：
更普遍地，包括法俱得、法前得、法後得及各種得得在內，及由鏡面效應產生的分叉與迭代，由此生起的「得」，需考查其集合的可數性。
###### （一）分叉的結構
依《俱舍論》「諸得後後轉增」義，有為法本法、大得、小得，在異剎那分別由不同的「得」得。因此，從單一基礎本法欲貪 $A$ 出發，對於該有情未離欲的所有剎那集合 $\mathcal{T}$ ，按照深度分層如下：
- **第 1 層**：對 $A$ 起得，每一剎那 $t_1 \in \mathcal{T}$ 皆生起 $P(t_1, A)$，共 $\aleph_0$ 個（無始輪回故）
- **第 2 層**：對第 1 層每一元素 $P(t_1, A)$，每一剎那 $t_2 \in \mathcal{T}$ 皆生起 $P(t_2, P(t_1, A))$，共 $\aleph_0^2 = \aleph_0$ 個
- **第 $n$ 層**：共 $\aleph_0^n = \aleph_0$ 個
每一層的每一節點均產生 $\aleph_0$ 個分支（對應於 $\aleph_0$ 個可起得的剎那），且每一分支皆為真實生起的有為法。
###### （二）可數性的確立
在任意給定剎那 $t_0$，依基礎法 $A$ 因鏡面效應及分叉等生起的所有「得」集合為：
$$
\mathcal{M}_{t_0} = \{ P(t_0, P(t_1, \cdots P(t_{n-1}, A)\cdots)) \mid n \ge 1,\; t_1, \ldots, t_{n-1} \in \mathcal{T} \}
$$
當 $n=1$ 時，序列為 $P(t_0, A)$，即 $t_0$ 剎那對基礎法 $A$ 所起的得——這可以是法俱得、法前得或法後得。
**注**：嵌套序列 $(t_0, t_1, \ldots, t_{n-1})$ 中，相鄰項 $t_i$ 與 $t_{i+1}$ 可以都不相同，也容許是同一剎那，非相鄰項（如 $t_i$ 與 $t_j$，$|i-j|>1$）可以相同，但是不存在連續三項是同一剎那（因為同剎那是大得小得容許互得，所以不可能至第三層）。即同一剎那在不同嵌套層級可以被多次引用——每次引用的是該剎那由不同序列生起的「得」(或小得)，而非同一「得」。（此集合一次性覆蓋了前後俱得、跨剎那鏡面迭代、大小得幾何級數增量等全部場景。前文定義的簡單鏡面效應 $\mathcal{S}_a^{(\text{mirror})}$ 作為兩剎那間的特例，自然是它的子集。）
其中 $n$ 為有限正整數。每一深度的數量為 $\aleph_0$，故：
$$
|\mathcal{M}_{t_0}| = \sum_{n=1}^{\infty} \aleph_0^{n-1} = \aleph_0 \cdot \aleph_0 = \aleph_0
$$
**關鍵限制**：每一個真實生起的「得」皆對應於**有限序列** $(t_0, t_1, \ldots, t_{n-1})$，其中 $n < \infty$。無限序列 $(t_0, t_1, t_2, \ldots)$ 在集合論中計數為 $\aleph_0^{\aleph_0} = 2^{\aleph_0}$，然此類無限序列不對應於任何實際生起的有為法——因為有為法必於某一具體剎那生起，其生成路徑長度（嵌套深度）必為有限數。(這與 $\mathcal{S}_a^{(\text{mirror})}$ 的可數性證明在方法上一致。)
該鏡面分叉生成的全體得的集合，是所有有限長度的嵌套序列構成的集合，其到自然數集的顯式枚舉可通過按嵌套深度從小到大分層遍歷實現，完全滿足定義2中「不依賴選擇公理的可構造雙射」要求，無需引入非構造性集合論假設。
**結論**：鏡面效應雖產生無限分層與無限分支，但其總數仍為 $\aleph_0$，不影響 (b) 類「得」的可數性。
**注意**：「不可數 $2^{\aleph_0}$」的結論只會在「無限路徑本身被視為一個獨立的對象」時出現(如實數集合的「無限小數」，實數的計數對象是「所有可能的無限長序列」)。「得」只能以具體的有為法為對象，不能以「無限追溯的路徑」為對象。任何實際生起的「得」都必須是有限深度，所有有限長度序列的總數為 $\aleph_0$。而不生法的分叉路徑錨點不確定——它的計數依賴於「所有可能的未生路徑」([4.7.2](#4.7.2.不生法的可數性問題))，因此需要擱置。
| 對比 | 每層/每位可選數 | 深度 | 計數對象 | 總數 |
| :------------ | :--------------------- | :----------------- | :----------------- | :---------------------------------- |
| **實數（小數展開）** | 有限（10種） | **無限** | **完整的無限长小数序列** | $10^{\aleph_0} = 2^{\aleph_0}$（不可數） |
| **「得」的分叉樹** | **無限**（$\aleph_0$ 個剎那） | **有限**（锚定終止於某個具體法） | **實際生起的有限深度節點** | $\aleph_0$（可數） |
| ==不生法未生路径集合== | ==有限（多種因緣闕失方式）== | ==路徑長度未定== | ==所有可能的无限长未生因缘序列== | ==未定，潜在可达$2^{\aleph_0}$== |
**推廣至一切有為法**：以上是以欲貪 $A$ 為例，對同剎那可能起得的有情數有為法也普遍成立。故對任一所得有為法(包括一分擇滅得)，皆可同樣構造 $\mathcal{M}_{t_0}^{(A)}$，其基數同為 $\aleph_0$。有一些本法勢力較弱，甚至只有有限個得生起，例如處中無表沒有法前得，在現在剎那 $t_0$，可以對現在或過去剎那 $t_i$ 的處中無表（本法）生起得，這類得的衍生數量有限。
因此，(b) 中得的可數性對一切可能的所得有為法普遍成立。设這類基础有為法集合为 $\mathcal{A}$（$|\mathcal{A}| = \aleph_0$），对每个基础法 $A \in \mathcal{A}$，其生成的有限深度得集合为 $\mathcal{M}_{t_0}^{(A)}$（$|\mathcal{M}_{t_0}^{(A)}| \le \aleph_0$），由善染法心法的勢力，其中必然存在可數無窮個可數無窮集。因此，单剎那内由一切基础法所生的得总数为这些集合的并集：
$$
\left| \bigcup_{A \in \mathcal{A}} \mathcal{M}_{t_0}^{(A)} \right| = |\mathcal{A}| \cdot \aleph_0 = \aleph_0 \cdot \aleph_0 = \aleph_0
$$
因此，現在剎那 $t_0$ 的「得」總數（不考慮不生法對得的影響）：
$$
|\mathcal{P}(t_0)| = \aleph_0
$$
其離散性由色法空間的離散性（A2a）與時間軸的離散性（A4）保證。
#### 4.4.3 非得的可數性
「非得」作為「得」的闕減狀態，其數量結構與「得」相對應（無現法非得）：
**鏡面效應的簡單情況**：
「非得」本身是有為法，可成為其他剎那「非得」的對象。以生欲界者 $a, b$ 兩剎那為例，設 $A$ 為某時現起的欲界眼根，定義 $N(t, x)$ 表示「在剎那 $t$，於法 $x$ 上所生起的非得」，定義迭代算子 $\Psi(x) = N(a, N(b, x))$，則在 $a$ 剎那因鏡面效應而現起的「非得」集合為：
$$
\mathcal{S}_a^{(\text{mirror-ne})} = \{ \Psi^n(N(a, N(b, A))) \mid n \ge 1 \}
$$
該集合與 $\mathbb{N}$ 一一對應，故其基數為 $\aleph_0$。
**鏡面效應的普遍情況**：
其普遍的分叉結構與可數性證明同 §4.4.2(b)，唯一不同的是，沒有同剎那連續非得、沒有法俱非得。此處不贅。
與「得」同理，一個剎那的「非得」可以對其他剎那的無窮多個同類法各別生起「非得」並衍生類似的分叉結構。例如，在現在剎那 $t_0$，可以對過去未來所有剎那的某一類法（如欲貪、瞋恚等）各別生起一個「非得」。由於已生當生剎那的數量為 $\aleph_0$，且每一已生當生剎那的同類法數量亦為 $\aleph_0$，因此在 $t_0$ 剎那對其他剎那同類法所起的「非得」的總數為 $\aleph_0 \cdot \aleph_0 = \aleph_0$。
因此，現在剎那 $t_0$ 的「非得」總數 $\mathcal{N}(t_0)$ 為：
$$
|\mathcal{N}(t_0)| = \aleph_0
$$
其離散性由色法空間的離散性（A2a）與時間軸的離散性（A4）保證。
#### 4.4.4 單剎那不相應行法總數
將上述各類合併，對任一已生或當生剎那 $t \in T$，全體不相應行法集合為：
$$
\mathcal{V}(t) = \mathcal{V}_{\text{basic}}(t) \cup \mathcal{P}(t) \cup \mathcal{N}(t)
$$
（除去：與不生法對應的非擇滅得非得、有漏不生法的擇滅得非得、不生善惡法的得非得等。）
其中三類各自基數為 $\aleph_0$，故：
$$
|\mathcal{V}(t)| = \aleph_0
$$
且由各類的離散性保證，$\mathcal{V}(t)$ 為離散集。
### 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「不同剎那間色法無空間漸近關係，僅網格式躍遷」：
- 不同剎那的色法分屬不同的時間層
- 它們之間不存在空間上的連續變化或無限趨近
**網格運動的意義**：此處所說的「網格式躍遷」，對應《俱舍論》「度一極微名一剎那」的基本設定——即在一剎那的時間單位內，色法的空間變化只能是一個極微單位的躍遷（或保持原位）。這確保了時間最小單位（剎那）與空間最小單位（極微）之間的協同匹配，共同構成有為法世界的離散格點結構。
若無此設定，則可能出現「在一剎那內移動任意小的距離」或「跨剎那空間變化無限趨近於0」的情況，從而使極微與剎那的最小性設定失去依據。因此，網格躍遷是離散性得以成立的基礎，而非額外的限制。
**跨剎那空間對應基準**——以我們這個世界的須彌山為中心建立的普適坐標系：
為使 A3a 的「網格式躍遷」獲得精確的數學表述，並為一切已生與當生色法提供一個內生的、統一的空間定位框架，我們建立如下坐標系。
**（一）坐標系建立的依據**
1. **佛出現於我們這個世界**：依《婆沙論》，在十方無量世界中，佛只在我們這個小世界出現。它決定了我們這個世界在十方世界中的特殊地位。因此，以我們這個世界為基準來建立坐標系，不是任意選擇，而是依教而立。
2. **須彌山的中心地位**：在我們這個世界的器世間描述中，須彌山位於世界的中心，四寶所成（東銀、南吠琉璃、西頗胝迦、北金），四面提供了天然的方向基準。須彌山的山頂是忉利天的所在，山底所據金輪則是大地與諸海的基礎。因此，須彌山是器世間最穩定、最顯著的結構特徵。
3. **第四禪天的穩定性**：《俱舍論》等論典中明確指出，第四禪天不受大三災（火災、水災、風災）的破壞。即使欲界、初禪、二禪、三禪的器世間全部毀壞，第四禪天的器世間依然存在。因此，即使須彌山在劫末暫時不現行，第四禪天仍然存在。須彌山與第四禪天在同一個垂直軸線上（須彌山上方便是諸天，第四禪天位於最上），所以當劫末須彌山毀壞時，坐標系可以依託第四禪天的對應位置而延續；當劫初須彌山重新生成時，它又在原有的坐標位置恢復。這保證了坐標系在時間上的連續性。
**（二）空間量度的兩個層級**
在建立坐標系之前，必須先釐清空間結構中的兩個量度層級：
1. **空間單元（微塵）**：由七個顯色極微（加上四大種能造極微，共35極微）構成的最小有方分色法單位。這是色法能夠作為根識所依或所緣的基本單位，是空間結構的基本節點。此外，其他所造色（香、味、觸等）及能造四大種，以有限的種類和數量雜住於此基準結構之上（見 A2a-2 說明），故一個空間單元所容納的極微總數為有限數。
2. **極微的大小**：空間單元的大小是確立的（由七極微所成顯色微塵的量度，如頌「極微微金水」等所確立），且其中容納的極微總數有限，故極微的大小可定義為「空間單元的大小 ÷ 該空間單元所容納的極微總數」。此定義完全內生於有部極微理論，不涉及任何外部度量單位。
3. **坐標的基本單位**：以極微的大小作為空間坐標的基本單位。
**（三）坐標系的定義**
- **原點**：須彌山的中軸與山頂的交點——即須彌山山頂中央的那個極微。
- **方向**：
- 東軸：由須彌山東面（銀寶所成）指向的方向定義
- 西軸：由須彌山西面（琉璃寶所成）指向的方向定義
- 南軸：由須彌山南面（青琉璃寶所成）指向的方向定義
- 北軸：由須彌山北面（金寶所成）指向的方向定義
- 上軸：由須彌山山頂指向第四禪天的方向定義
- 下軸：由須彌山山頂指向山根及大地的方向定義
- **坐標表達**：任意極微的位置由 $(x, y, z) \in \mathbb{Z}^3$ 唯一確定，其中 $x, y, z$ 分別為該極微在東-西、南-北、上-下方向上相對於原點的位移（以極微大小為基本單位）。
- **空間單元的定位**：空間單元是由有限個極微構成的聚合體，其位置由其所包含的全部極微的坐標集合來定義，不另立獨立的坐標。
**（四）坐標系的覆蓋範圍**
此坐標系覆蓋**十方世界的一切色法**。無論色法在我們這個世界，還是在十方任何其他世界，其位置都可以通過相對於須彌山基準的空間關係來確定，並以極微為單位記錄其坐標。此坐標系是唯一的、普適的。
**（五）坐標系的完全內生性**
本坐標系的建立不依賴任何外部空間預設：
| 坐標系的要素 | 定義方式 | 是否依賴外部空間 |
|:---|:---|:---:|
| 原點 | 須彌山山頂中央的極微 | 否 |
| 方向 | 須彌山四寶所成的四面 | 否 |
| 基本單位 | 極微的大小（由空間單元的大小與其中極微總數定義） | 否 |
| 坐標值 | 相對於原點的位移（整數倍極微大小） | 否 |
**（六）坐標系與 A3a 的關係**
有了這個坐標系後，A3a 的「網格式躍遷」可以被精確表述為：
對於同類相續極微 $r_i \in \mathcal{R}(t_i)$ 和 $r_{i+1} \in \mathcal{R}(t_{i+1})$，設其在坐標系中的坐標分別為 $(x_i, y_i, z_i)$ 和 $(x_{i+1}, y_{i+1}, z_{i+1})$，則：
$$
\max(|x_{i+1}-x_i|, |y_{i+1}-y_i|, |z_{i+1}-z_i|) \le 1
$$
即：從 $t_i$ 到 $t_{i+1}$，色法在任何一個坐標軸方向上的位移最多為1個極微（要么保持在原坐標，要么移動到相鄰位置）。此即「度一極微名一剎那」的數學表述。
此坐標系的建立完全依賴於色法自身的結構（須彌山、空間單元、極微），不引入任何外部空間預設。
**關於「異剎那空間位置比較」的說明**：
此基準主要為跨剎那的同類相續色法提供空間位置比較的操作依據。
依公理 A1 及 A2a，空間並非獨立實有，而是依色法的相對位置而施設。因此，「同一空間位置」的意義嚴格綁定於同一時間切片內的色法相對格局。不同剎那的色法分屬不同的時間層，其「位置相同」是透過上述以須彌山為基準的普適坐標系來判定的——即各自時間切片內的色法在該坐標系中擁有相同的 $(x, y, z)$ 坐標值。此判定不依賴於一個跨越時間的絕對背景坐標，而是依賴於器世間（須彌山、第四禪天）的相續穩定性所保證的坐標系連續性。
**同類相續色法（因→果）**：
- 前剎那的因色法與後剎那的果色法之間，存在明確的因果鏈條（同類因對等流果）
- 因此，果色法的空間位置可直接追溯至因色法的位置——因果關係本身就是定位依據
- 其空間位移，由上述坐標系中的坐標差來量度，單位為極微
- A3a 保證此位移只能是 0 或 1 個極微，不能形成漸近序列
由於不同時間層之間不存在獨立連續的空間背景作為刻畫「無限趨近」的參數空間（A3a 規定為網格式躍遷），此類跨剎那同類色法相續的同位重合僅是離散層間的不連續對應，不構成拓撲意義上的聚點。
**異相續色法（不同因果鏈條）**：
- 不同有情、不同色法種類，或無因果關聯的色法之間，不存在可追蹤的因果鏈條
- 它們本身就是不同的法，其區別已由時間步數（tstep ≥ 1）完全保證
- 因此，**異相續色法不需要進行跨剎那空間比較**，也不影響離散性判定
**跨剎那色法離散性的判定**：
對於任意兩個不同剎那的有為法 $x \in \mathcal{S}_{t_i}$，$y \in \mathcal{S}_{t_j}$（$i \ne j$），其步數函數統一取為時間步數：
$$
g(x, y) = \text{tstep}(t_i, t_j) = |i - j|
$$
由 A4，$|i-j| \ge 1$。因此，對任意 $x \in S_u$，取孤立半徑 $\varepsilon_x = 1$（以時間步數計），則其步數鄰域 $\{ y \in S_u \mid g(x, y) < 1 \}$ 中僅包含 $x$ 自身。
**關鍵說明**：我們在此不對跨剎那的色法使用「空間步數」。理由如下：
- 跨剎那的空間位移（由上述坐標系描述）與離散性證明中所需要的「步數」是兩個不同的概念。前者是對色法運動方式的描述，後者是對集合中元素間隔的計量。
- 跨剎那色法相續出現變化後，之前定義的層級序號及步數可能因為空間單元結構的變化全部重排，兩剎那間的步數沒有穩定性。 並且，跨剎那的離散性已經由時間步數單獨保證，無需任何空間步數的參與。這種「不穩定性」也是「無常」的體現。
- 我們描述跨剎那的空間位移（如「移動了1個極微」），本意不是為了提供離散性的證明。
> **小結**：異剎那的時間離散性（tstep ≥ 1）已足以保證跨剎那色法不形成聚點。本節所建立的以須彌山為基準的普適坐標系，其作用是為 A3a 的「網格式躍遷」提供精確的數學表述——即同類相續色法在時間中的演化方式是離散躍遷，跨剎那相續時只能移動 0 或 1 個極微——而非為離散性證明提供一個可供計算的「空間步數」。跨剎那的離散性，完全由時間維度的離散性（A4）承擔。這確保了有為法世界在「時間—空間」聯合結構中的離散性，也使後續可數性的構造性論證得以在這一離散框架下進行。離散與可數在同一公理體系中分別得到了邏輯確立。
##### （三）心法維度
由 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（心法歸屬）中通過**分層遍歷與有限依附**顯式構造。
將 $\mathcal{S}_t$ 的元素編號為 $s_0, s_1, s_2, \dots$，則 $S_u$ 中的每一個元素可唯一標記為 $(t_i, s_k)$，其中 $i \in \mathbb{Z}$ 為剎那索引，$k \in \mathbb{N}$ 為該剎那內元素的枚舉序號。
定義顯式雙射 $\Phi: S_u \to \mathbb{N}$ 如下：先將剎那索引 $i \in \mathbb{Z}$ 映射到非負整數
$$
i' = \begin{cases}
2i, & i \ge 0 \\
-2i - 1, & i < 0
\end{cases}
$$
再使用 Cantor 配對函數將 $(i', k)$ 映射到自然數：
$$
\Phi(t_i, s_k) = \frac{(i' + k)(i' + k + 1)}{2} + k
$$
此映射為顯式、可計算的，完全不依賴選擇公理。因此：
$$
|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}$。([4.4.2b](#（二）可數性的確立))
但這描述的是數學上「所有可能路徑」的總數，並不直接決定「被截斷的端點」的總數，後者需要基於不生法自身的結構（如因緣闕失的具體範圍與方式）單獨處理（如 [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$），未來不生法暫且擱置
**依賴的外部數學**：僅使用基本集合論（並、笛卡爾積、可數性）和圖論語言（節點、邊、路徑），不涉及實數、歐氏空間或選擇公理