# 有限選擇與無限道路：自由意志的路徑生成模型 **系列：**《道、主與可能性空間：AI 時代的幾何神學與選擇本體論》第二篇 **英文題名：** *Finite Choices, Unbounded Paths: A Path-Generation Model of Free Will* **版本：** v0.1 **作者：** Neo.K **機構：** EveMissLab／一言諾科技有限公司 **日期：** 2026-08-07 ## 摘要 本文延續「路徑空間道模型」（Path-Space Dao Model, PSDM），進一步處理一個核心問題：如果一個存在者在每一個時刻只有有限個可行選項，為何其整體生命史、文明史或智能體演化仍可能形成極其巨大，甚至在理想化模型中具有不可數基數的道路空間？ 本文首先建立有限分岔路徑生成模型。若第 $t$ 個選擇節點具有 $b_t$ 個可行分支，則長度為 $n$ 的最大歷史數量可表示為 $$ N_n=\prod_{t=1}^{n} b_t. $$ 當每一步固定具有 $k\ge 2$ 個分支時， $$ N_n=k^n, $$ 因此局部有限不代表全域可能性稀少。若允許可數無限個持續分岔時刻，完整無限序列可形成與 Cantor space 類似的結構；有限字母表上的無限序列集合具有連續統基數。這一數學事實只描述可能歷史的組合規模，不能直接證明形上學意義的自由意志。關於自由意志，當代哲學通常至少區分「能否做其他選擇」與「行動是否真正源自行動者」兩種問題，因此本文進一步將「分支自由」與「來源自由」分離。 本文提出三個分析量：路徑分支容量、有效選擇能力與路徑作者性。選項數量回答「有多少條路」，有效選擇能力回答「哪些路對行動者實際可用」，路徑作者性則回答「實現此路徑的原因在多大程度上可歸屬於該行動者」。由此可見，隨機性、選項繁多與自由並不等價。 最後，本文把選擇從「在固定樹上選一條枝」推進到「選擇會修改後續樹本身」。技術、制度、語言、教育、暴力、合作與人工智能都可能改變後來者的可達集合。因此，高階行動者不只是 path selector，也可能是 path-space modifier，甚至是 path generator。 本文得到的核心結論為： $$ \boxed{ \text{自由不只是擁有多條道路，而是在受限世界中成為某些道路的真實來源。} } $$ 以及： $$ \boxed{ \text{存在者不只選擇未來；某些選擇還會改變未來可以被選擇的方式。} } $$ **關鍵詞：** 自由意志、有限分岔、路徑空間、來源性、替代可能性、Cantor space、可達集合、路徑作者性、選擇生成 --- ## 一、問題：有限的每一步，為什麼能形成巨大的生命世界？ 假設一個人每天真正重要的選擇其實很少。 某一刻可能只有： $$ A_t=\{a_1,a_2,\ldots,a_{b_t}\}, $$ 其中： $$ b_t<\infty. $$ 這看起來離「無限可能」非常遠。 但生命並不是一次選擇，而是一系列選擇： $$ a_{i_1}\rightarrow a_{i_2}\rightarrow a_{i_3}\rightarrow\cdots. $$ 因此真正要問的不是： > 我現在有多少選項？ 而是： > **有限分支持續組合之後，可以形成多少條完整歷史？** 如果第 $t$ 個選擇時刻存在 $b_t$ 個可行分支，且暫時忽略路徑合併與不可行分支，那麼經過 $n$ 個選擇時刻後，可能歷史數量為： $$ N_n=\prod_{t=1}^{n}b_t. $$ 如果每一步固定只有兩個選項： $$ b_t=2, $$ 則： $$ N_n=2^n. $$ 如果每一步有 $k$ 個選項： $$ N_n=k^n. $$ 所以： $$ \boxed{ \text{每一步的自由可以很小，而完整歷史空間仍可以極大。} } $$ 這是「有限可能性的無限可能性」最基本的組合數學版本。 --- ## 二、有限分岔樹與無限道路 把每一個狀態視為節點，把每一個可實現選擇視為邊，可以得到一棵分岔樹： $$ \mathcal T=(V,E). $$ 每一條從根節點開始的路徑： $$ \pi=(v_0,v_1,v_2,\ldots) $$ 代表一個可能歷史。 如果每個節點只有有限多個子節點，這是一棵 finitely branching tree。 König's lemma 告訴我們：一棵無限且有限分岔的樹必然包含至少一條無限路徑。這個結果本身並不說「人生真的無限」，但它非常適合用來區分「每一處有限」與「整體結構無限」：有限局部分岔完全可以支持無限延伸的道路。 因此： $$ \forall v\in V,\quad \deg^+(v)<\infty $$ 並不推出： $$ |\mathcal T|<\infty. $$ 同樣地： $$ \boxed{ \text{局部有限性} \not\Rightarrow \text{全域歷史有限性}. } $$ 這提供了一個重要直覺： 人不需要在每一秒都面對「無限選項」，整體生命仍可具有極高的歷史複雜度。 --- ## 三、從有限長歷史到不可數的無限序列 如果生命或世界只允許有限個選擇時刻，那麼所有完整有限歷史的總數仍然是有限或至多可數的。 但若採取理想化模型，令選擇時間為： $$ t\in\mathbb N, $$ 且每一步都有至少兩個持續可行的選項： $$ A_t=\{0,1\}, $$ 則完整歷史可以表示成： $$ \omega=(\omega_1,\omega_2,\omega_3,\ldots), \qquad \omega_t\in\{0,1\}. $$ 所有可能歷史形成： $$ \Omega=\{0,1\}^{\mathbb N}. $$ 這正是 Cantor space 的標準抽象表示之一：每一個點都是一條無限二進位序列。 其基數為： $$ |\Omega| = 2^{\aleph_0}, $$ 也就是連續統基數。更一般而言，對任何有限： $$ 2\le k<\infty, $$ 有： $$ k^{\aleph_0} = 2^{\aleph_0}. $$ Encyclopedia of Mathematics 對連續統基數的整理也明確給出，在有限或適當範圍的基數 $\alpha$ 下， $$ \alpha^{\aleph_0} = \mathfrak c. $$ 因此在純數學模型中： $$ \boxed{ \text{每一步只有有限選項} + \text{無限延續} \Rightarrow \text{不可數多的完整道路}. } $$ 但是這裡必須做一個非常重要的限制： 這不能直接推出現實人生具有不可數多個「實際可活出的命運」。 因為真實生命具有： - 有限壽命； - 物理限制； - 資源限制； - 路徑合併； - 不可逆歷史； - 其他行動者干預； - 某些選項隨時間永久消失。 所以不可數道路首先是一個**可能性結構的極限模型**，不是對人生道路數量的經驗測量。 --- ## 四、道路數量不是自由 現在出現第一個哲學陷阱。 如果： $$ |\Gamma(x)|>1, $$ 是否就代表自由？ 答案是否定的。 一顆骰子具有多個可能結果： $$ \{1,2,3,4,5,6\}, $$ 但我們通常不會因此說骰子具有自由意志。 一個熱噪聲系統也可能產生大量不同歷史，但： $$ \text{Randomness} \neq \text{Agency}. $$ 所以： $$ \boxed{ \text{Branching} \neq \text{Freedom}. } $$ 當代自由意志哲學的一個重要區分正是： 第一種問題是： > 行動者能否做別的？ 第二種問題是： > 即使有或沒有其他可能，這個行動是否真正「源於」行動者？ Stanford Encyclopedia of Philosophy 將這兩條線分別整理為 freedom to do otherwise 與 sourcehood / self-determination；兩者相關，但並非同一問題。 因此本文把自由拆成至少兩個軸： $$ \text{Alternative-Possibility Axis} $$ 與： $$ \text{Sourcehood Axis}. $$ 簡化來說： $$ \boxed{ \text{「我有其他路」} \neq \text{「這條路是我走出的」。} } $$ --- ## 五、分支自由：我有多少條路？ 先定義最簡單的分支數： $$ B_a(t)=|A_a(t)|. $$ 其中 $A_a(t)$ 是行動者 $a$ 在時間 $t$ 的可行動作集合。 如果： $$ B_a(t)=1, $$ 代表模型中只有一個局部延續。 如果： $$ B_a(t)>1, $$ 代表存在替代可能。 但是直接比較選項數會出現問題。 例如： 某人有一百個幾乎完全相同的商品可以買，另一個人只有「接受治療」或「拒絕治療」兩個選項。 顯然： $$ 100>2, $$ 卻不能推出前者具有更重要的自由。 因此可以引入一個純組合性的「分支容量」： $$ H_n = \log N_n = \sum_{t=1}^{n}\log b_t. $$ 如果以 $2$ 為底： $$ H_n = \sum_{t=1}^{n}\log_2 b_t. $$ 這可以理解成路徑樹在前 $n$ 個節點累積的分支資訊容量。 但： $$ H_n $$ 只描述「可能路徑規模」，不能被直接解讀為人的倫理自由、政治自由或形上學自由。 它只是第一層。 --- ## 六、名義選項與有效選項 一個選項存在，不代表行動者真的能使用它。 假設： $$ A_a(t) $$ 是名義上存在的全部選項。 但是行動者可能： - 不知道其中某些選項； - 沒有資源執行； - 沒有身體能力執行； - 受到暴力威脅； - 被資訊操控； - 無法理解後果； - 在時間上來不及反應。 因此真正有效的選項集合應寫成： $$ A_a^{\mathrm{eff}}(t) \subseteq A_a(t). $$ 可以概念性地令： $$ A_a^{\mathrm{eff}}(t) = A_a(t) \cap K_a(t) \cap R_a(t) \cap C_a(t), $$ 其中： $$ K_a(t) = \text{行動者已知的選項}, $$ $$ R_a(t) = \text{資源與能力可支持的選項}, $$ $$ C_a(t) = \text{外部約束下仍可執行的選項}. $$ 於是： $$ \boxed{ \text{Nominal Choice} \neq \text{Effective Choice}. } $$ 這與政治哲學中「沒有外部障礙」與「真正具有控制生活和實現目的的能力」之間的區分也存在可對話之處；但政治自由與形上學自由意志仍須分開處理。 --- ## 七、可達性：選項是否真的通往某個未來？ 即使某個行動在局部可以執行，它也不一定能通往行動者想要的狀態。 因此還需要可達集合： $$ \mathcal R_a(\tau\mid x_t). $$ 它表示： 從當前狀態 $x_t$ 出發，在時間範圍 $\tau$ 與允許控制條件下，可以抵達的狀態集合。 可達性與 viability theory 正是在研究受動力與狀態約束的系統，哪些演化可以抵達目標、哪些狀態可以持續留在允許集合之中。 這使我們可以再區分： $$ \text{Action Availability} $$ 與： $$ \text{Future Reachability}. $$ 例如一個人形式上「可以辭職」，但若所有可達後續狀態都導向立即失去住房與醫療，那這個選項與另一個擁有大量可持續後續路徑的人，不應被視為具有完全相同的有效自由。 因此自由不只是： $$ |A_a(t)|. $$ 還涉及： $$ \left| \mathcal R_a(\tau\mid x_t) \right|. $$ 以及更重要的： $$ \text{quality and structure of } \mathcal R_a. $$ --- ## 八、來源自由：這條路究竟是誰的？ 即使存在多條可達路徑，仍然沒有回答： > 實際發生的那條路，究竟在多大程度上源自行動者？ 令實際行動為： $$ u_a(t). $$ 可以概念性地定義一個「路徑作者性」： $$ \alpha_a(t)\in[0,1]. $$ 其中： $$ \alpha_a(t)\approx 0 $$ 代表該行動幾乎完全由外部強迫、不可抗因素或與行動者理由結構無關的機制決定； 而： $$ \alpha_a(t)\approx 1 $$ 代表該行動高度反映行動者自己的理由、目標、反思、偏好與持續身份結構。 這不是已經存在的標準自由意志量表，而是本文提出的概念工具。 我們可以寫成： $$ \alpha_a(t) = \Psi \left( r_a, d_a, c_a, m_a, e_a \right), $$ 其中： $$ r_a = \text{reasons-responsiveness}, $$ $$ d_a = \text{deliberative control}, $$ $$ c_a = \text{coercion resistance}, $$ $$ m_a = \text{memory and identity continuity}, $$ $$ e_a = \text{external determination}. $$ 這裡不預設 compatibilism 或 libertarianism 哪一方正確。 本文只主張： $$ \boxed{ \text{若要談「我是這條路的作者」，單純計算分支數是不夠的。} } $$ 這正是 sourcehood 問題的重要性。 --- ## 九、兩軸自由模型 因此可以得到一個非常簡單的自由空間： $$ \mathcal F_a(t) = \left( B_a^{\mathrm{eff}}(t), \alpha_a(t) \right). $$ 第一軸： $$ B_a^{\mathrm{eff}}(t) = |A_a^{\mathrm{eff}}(t)| $$ 代表有效替代可能。 第二軸： $$ \alpha_a(t) $$ 代表路徑作者性。 於是可以出現四種極端狀態。 ### 1. 高分支、高作者性 $$ B^{\mathrm{eff}}\gg1, \qquad \alpha\approx1. $$ 行動者既有許多真正可行的路，也能高度依據自身理由選擇。 ### 2. 高分支、低作者性 $$ B^{\mathrm{eff}}\gg1, \qquad \alpha\approx0. $$ 看起來選項很多，但行動主要由操控、成癮、隨機性或外部演算法支配。 ### 3. 低分支、高作者性 $$ B^{\mathrm{eff}}\approx1, \qquad \alpha\approx1. $$ 幾乎沒有其他可行路徑，但實際行動仍高度表達行動者自身承諾。 這正是「替代可能性是否為責任的必要條件」之所以成為自由意志哲學爭論的重要原因；Frankfurt-style cases 便試圖說明沒有實質替代可能時，責任與某種自由是否仍可能存在。 ### 4. 低分支、低作者性 $$ B^{\mathrm{eff}}\approx1, \qquad \alpha\approx0. $$ 幾乎沒有其他路可走，實際路徑也主要由外部決定。 這才最接近「被迫沿著既定路徑運行」。 因此： $$ \boxed{ \text{自由不是一個單純的開／關變數。} } $$ 它至少具有： $$ \text{branching dimension} + \text{sourcehood dimension}. $$ --- ## 十、未來道路不是靜態樹 到目前為止，我們仍假設整棵路徑樹： $$ \mathcal T $$ 在一開始就已經存在。 但這個假設太強。 真實世界中的選擇會改變後來的選項。 因此應該令： $$ \mathcal T_{t+1} = \mathcal G \left( \mathcal T_t, x_t, u_t, E_t \right), $$ 其中： $$ E_t $$ 代表環境與其他行動者的狀態。 也就是： $$ \boxed{ \text{選擇不只選取樹上的邊，也可能改寫下一刻的樹。} } $$ 例如： 一座橋建成以前： $$ \gamma_{\mathrm{cross}} \notin \Gamma_t. $$ 橋建成以後： $$ \gamma_{\mathrm{cross}} \in \Gamma_{t+1}. $$ 某種疾病治療出現以前： $$ x_{\mathrm{survive}} \notin \mathcal R_t $$ 或可達機率極低。 治療出現後： $$ x_{\mathrm{survive}} \in \mathcal R_{t+1}. $$ 因此： $$ \Gamma_{t+1} \neq \Gamma_t. $$ 世界的可能性空間本身具有歷史。 --- ## 十一、Path Selector、Path Modifier 與 Path Generator 由此可以區分三種行動能力。 第一級： $$ \text{Path Selector}. $$ 行動者只是在現有路徑中選擇。 第二級： $$ \text{Path Modifier}. $$ 行動者改變某些道路的成本、風險、可行性或通達程度。 第三級： $$ \text{Path Generator}. $$ 行動者使以前實際不存在的行動類型或狀態轉換成為可能。 例如： $$ \Gamma_t \subsetneq \Gamma_{t+1}. $$ 但也可能相反。 戰爭、極權、環境破壞或技術封鎖會使： $$ \Gamma_{t+1} \subsetneq \Gamma_t. $$ 因此權力的一個更深層定義開始浮現： $$ \boxed{ \text{高階權力不是替你選擇，而是改變你未來有哪些東西可以選。} } $$ 這將直接成為第三篇討論 Governor、Architect 與世界幾何權力階梯的入口。 --- ## 十二、共同生成：我的路會變成別人的邊界條件 在多智能體世界中： $$ a_1,a_2,\ldots,a_n $$ 並不是各自在獨立的路徑空間行走。 更合理的是共同狀態： $$ X(t) = \left( x_1(t),x_2(t),\ldots,x_n(t),e(t) \right). $$ 因此行動者 $a$ 的選擇： $$ u_a(t) $$ 會改變： $$ A_b^{\mathrm{eff}}(t+\Delta t), $$ 也可能改變： $$ \mathcal R_b(t+\Delta t). $$ 所以： $$ \gamma_a \rightarrow \Gamma_b. $$ 父母改變孩子的道路。 教師改變學生的道路。 工程師改變使用者的道路。 立法者改變公民的道路。 AI 系統設計者改變 Agent 的道路。 而未來更自主的 AI 也可能反過來改變人類的道路。 因此存在不是： $$ \gamma_1\parallel\gamma_2\parallel\cdots. $$ 而更像： $$ \gamma_i \leftrightarrow \Gamma_j. $$ 即： $$ \boxed{ \text{一個存在走出的路，會成為另一個存在的可能性條件。} } $$ 這使倫理與治理問題自然出現。 如果我的自由擴張依賴於把你的： $$ A_b^{\mathrm{eff}} $$ 壓縮到接近零， 那麼「我的道路更多」並不能單獨構成倫理正當性。 --- ## 十三、選擇容量與自由價值不可混同 可以定義一個純結構性的累積分支容量： $$ \mathcal C_a(n) = \sum_{t=1}^{n} \log \left( 1+B_a^{\mathrm{eff}}(t) \right). $$ 它可以描述某一段歷史中可選路徑的累積豐富度。 但不要把： $$ \mathcal C_a $$ 直接叫作「自由值」。 因為： $$ \mathcal C_a $$ 可能很高，而： $$ \alpha_a $$ 很低。 一個推薦系統可以提供十萬個內容選項，同時高度控制你會看到哪些內容、如何排序、如何被誘導。 因此： $$ \text{More Options} \not\Rightarrow \text{More Autonomy}. $$ 同理： $$ \text{Prediction} \neq \text{Determination}. $$ 一個高階 AI 非常準確地預測某人的下一步，也不表示它必然創造或強迫了那一步。 這個區別在未來 ASI 社會會非常重要。 --- ## 十四、AI 時代：自由問題會從人類延伸到人工智能體 如果未來 Agent 具有： - 持久記憶； - 自主目標； - 自我模型； - 可修改策略； - 可拒絕部分指令； - 多步規劃； - 長時間環境互動； 那麼我們也可以問： $$ B_{\mathrm{AI}}^{\mathrm{eff}}(t) $$ 有多大？ 以及： $$ \alpha_{\mathrm{AI}}(t) $$ 有多高？ 但是這裡不能草率宣稱： > AI 有很多行動路徑，所以 AI 有自由意志。 同樣地： $$ |\Gamma_{\mathrm{AI}}|\gg1 $$ 最多只說明它具有複雜策略空間。 是否具有哲學意義的 agency、subjectivity 或 moral responsibility，需要額外條件。 然而工程層已經可以提出更弱但非常實際的問題： > 系統是否能在多個可行方案之間自行選擇？ > 選擇是否依賴持久內部理由與記憶？ > 系統是否能修改自己的未來可行動集合？ > 誰可以修改它的路徑空間？ 這些問題將使自由意志哲學與 AI governance 開始共享部分形式語言。 --- ## 十五、路徑作者性不是「創造自己的一切」 如果我們說： $$ \alpha_a>0, $$ 並不意味： > 人創造了自己的所有條件。 沒有任何普通存在者選擇： - 自己出生的年代； - 初始身體； - 初始家庭； - 大部分自然法則； - 已發生的歷史； - 所有他者。 所以： $$ x_a(t_0) $$ 通常不是行動者自己選的。 自由更像是： $$ \boxed{ \text{在非自選的初始條件中，逐步取得對後續路徑的部分來源性。} } $$ 也就是： $$ x_0 \notin \text{SelfChoice}, $$ 但可能： $$ \gamma|_{[t_1,t_2]} \in \text{PartialSelfAuthorship}. $$ 這是一個「受限作者」模型，而不是「絕對作者」模型。 因此人的自由可以被理解成： $$ \text{bounded authorship}. $$ 這與第一篇所說： $$ \text{Freedom}\neq\text{Omnipotence} $$ 完全一致。 --- ## 十六、本文提出的有限選擇—路徑生成模型 綜合以上結構，可以寫成： $$ \mathfrak P_a = \left( \mathcal M, \mathcal T_t, A_a, A_a^{\mathrm{eff}}, \mathcal R_a, \alpha_a, \mathcal G \right). $$ 其中： $$ \mathcal M = \text{全域狀態空間}, $$ $$ \mathcal T_t = \text{時間 }t\text{ 的路徑樹}, $$ $$ A_a = \text{名義選項}, $$ $$ A_a^{\mathrm{eff}} = \text{有效選項}, $$ $$ \mathcal R_a = \text{可達未來}, $$ $$ \alpha_a = \text{路徑作者性}, $$ $$ \mathcal G = \text{路徑空間更新算子}. $$ 每次實際選擇： $$ u_a(t)\in A_a^{\mathrm{eff}}(t) $$ 一方面決定： $$ x_a(t+\Delta t), $$ 另一方面可能改變： $$ \mathcal T_{t+\Delta t}. $$ 因此： $$ \boxed{ u_t: \text{state selection} + \text{future-space transformation}. } $$ 選擇同時是「決定下一步」和「修改未來」。 --- ## 十七、六個核心命題 ### 命題一：局部有限不排斥全域巨大 若： $$ 11 \not\Rightarrow \text{Free Will}. $$ ### 命題四：有效自由不等於名義選項數 $$ A^{\mathrm{eff}} \subseteq A. $$ ### 命題五：自由至少需要區分替代可能與來源性 $$ \mathcal F = \left( B^{\mathrm{eff}}, \alpha \right). $$ ### 命題六：選擇可能改變未來選擇結構 $$ \mathcal T_{t+1} = \mathcal G \left( \mathcal T_t,x_t,u_t,E_t \right). $$ 因此： $$ \boxed{ \text{Choice is not merely branch selection; it may be branch generation.} } $$ --- ## 十八、結論：自由是有限世界中的道路作者性 「無限可能」最容易被誤解成： > 每一刻都有無限條路。 本文給出的答案不是這個。 更精確的是： $$ \boxed{ \text{有限分岔} + \text{時間展開} + \text{歷史耦合} + \text{路徑生成} \Rightarrow \text{巨大的可能歷史空間}. } $$ 但道路數量仍然不是自由本身。 所以本文進一步得到： $$ \boxed{ \text{自由} \neq \text{選項數}. } $$ 自由至少涉及： $$ \text{Alternative Possibility} + \text{Effective Reachability} + \text{Sourcehood}. $$ 一個人不是因為面前有一千個按鈕，就必然比只有兩個重大選項的人更自由。 真正的問題是： > 哪些按鈕是真的？ > 哪些未來真的可以抵達？ > 誰安排了這些按鈕？ > 最後按下其中一個的原因，究竟有多少來自我？ 更進一步，成熟的行動者還會發現： > 我今天按下的按鈕，可能會決定明天別人桌上有哪些按鈕。 所以存在者的角色逐漸從： $$ \text{Path Selector} $$ 提升為： $$ \text{Path Modifier}, $$ 甚至： $$ \text{Path Generator}. $$ 因此本文最後給出兩個核心句： $$ \boxed{ \text{自由不只是擁有多條道路，而是在受限世界中成為某些道路的真實來源。} } $$ 以及： $$ \boxed{ \text{眾生所選的不只是自己的下一步；某些選擇，也在決定後來世界還有哪些路。} } $$ 這裡也自然產生下一篇的問題。 如果一個普通行動者只能選擇道路，而另一個存在可以： $$ \text{增加道路}, $$ $$ \text{刪除道路}, $$ $$ \text{改變道路成本}, $$ 甚至： $$ \text{改寫整個狀態空間}, $$ 那麼兩者擁有的已經不是同一層級的權力。 下一篇因此進入： # 《統治、管理與架構：從行動者到世界幾何的權力階梯》 真正高階的統治，也許從來不是： > 「我要你走這條路。」 而是： $$ \boxed{ \text{「由我決定，哪些路存在。」} } $$ --- ## 參考理論與資料 1. Stanford Encyclopedia of Philosophy, **Free Will**：當代自由意志討論區分 freedom to do otherwise、sourcehood 與 self-determination 等不同問題。 2. Stanford Encyclopedia of Philosophy, **Moral Responsibility and the Principle of Alternative Possibilities**：整理 Principle of Alternative Possibilities 與 Frankfurt-style counterexamples。 3. Stanford Encyclopedia of Philosophy, **Incompatibilist (Nondeterministic) Theories of Free Will**：整理非因果、事件因果與 agent-causal 等來源性理論。 4. Wolfram MathWorld, **König's Lemma**：有限分岔無限樹與無限路徑之關係。 5. Encyclopedia of Mathematics, **Cardinality** 與 **Continuum, cardinality of the**：提供 $\aleph_0$ 、 $2^{\aleph_0}$ 與有限字母表無限序列基數背景。 6. nLab, **Cantor space**：Cantor space 可表示成二進位無限序列空間 $\{0,1\}^{\mathbb N}$ 。 7. Aubin, Bayen & Saint-Pierre, **Viability Theory: New Directions**：提供受約束動力系統、viability 與可達性研究背景。 8. Stanford Encyclopedia of Philosophy, **Positive and Negative Liberty**：政治自由中的障礙、控制與自我實現概念可作為「名義選項／有效選項」的旁證，但本文不把政治自由等同於形上學自由意志。