當四不再是四
數學推導中的域遷移、範疇類型偷換與語義域有效性
When Four Is No Longer Four: Domain Migration, Categorical Type Substitution, and Semantic Domain Validity in Mathematical Derivation
文件編號：EML-EPS-2026-CTM-v0.1 作者：Neo.K（許筌崴）× Theia 機構：一言諾科技有限公司（EveMissLab） 日期：2026 年 6 月 版本：v0.1（首版） 理論地位：EML-EPS-2026-SDV-v0.1《語義域有效性問題》的數學具體案例；ZFC 域外操作的範疇類型分析 前置理論：SDV（EML-EPS-2026-SDV-v0.1）、LTP（EML-LTP-2026-v1.0） 授權：研究階段保留，最終授權待定
摘要
本文以一個廣傳的數學短片——「如何證明 4=3」——為具體案例，分層解剖其推導結構的失效位置。這個短片在網路上引發逾千條評論，但觀察討論區發現：幾乎沒有任何評論能觸及真正的問題所在，大多數停留在「除以零」這個表面診斷。本文論證，這個失敗的診斷分佈本身就是一個認識論現象——它精確地展示了域深度不足時，人們只能看到問題症狀而無法看到問題根源的機制。
本文識別該推導的五層失效結構：（一）完備性缺失——代數域從未被定義；（二）第一升維失敗——4A=4B+4C 的組合複雜度大於自由表達式；（三）第二升維失敗——即使約束為等式，4B+4C=4A 的組合複雜度仍大於 B+C=A；（四）累積未控複雜度在後續操作中非法被用；（五）最深層——推導過程中的操作實際上將 4 和 3 的範疇類型遷移出 ZFC，最終的「4=3」不是 ZFC 自然數意義下的等式。
本文最後論證，這整個案例是《語義域有效性問題》（EML-EPS-2026-SDV-v0.1）所描述的「術語遷移不帶結構」在數學語境下的具體實例——符號「4」和「3」在推導過程中從 ZFC 遷移至另一個代數結構，但這個遷移從未被聲明，觀察者因此誤以為結論仍在原始類型系統內。
關鍵詞：範疇類型遷移、ZFC 操作域、組合複雜度升維、假證明結構分析、語義域有效性、術語遷移不帶結構、代數幾何線性系統、EveMissLab
§0. 前言：一千個人看同一個問題
一個數學短片在社群媒體上引發了超過一千條評論。影片的主題是：如何「證明」4=3。一位老師在鏡頭前逐步寫出代數推導，在最後一行的 4(A−B−C)=3(A−B−C) 上打了紅圈，說：「這道題必然是錯誤的。」
評論區的分佈具有高度預測性。絕大多數討論集中在影片的敘事層面——那個據說被這道題難倒的孩子是天才還是學渣；少數人嘗試討論數學問題本身；在討論數學的評論裡，幾乎全部停留在「不能除以零」或「這樣約分是不對的」這兩種說法。沒有任何評論觸及更深的問題層次。
這個分佈本身值得被分析。一千多個人看了同一個推導，其中有相當比例的人具備基礎代數知識，其中有人正確識別了表面症狀，但沒有人問：為什麼這個症狀在這裡出現？症狀出現之前，那個推導到底做了什麼？
本文的目標不是糾正那一千個人——而是把這個現象當作一個認識論案例來剖析：在不同域深度的觀察者眼中，同一個推導的「問題在哪裡」是完全不同的答案。這個差距不是智力差距，是域深度差距。而這個差距，正是《語義域有效性問題》（EML-EPS-2026-SDV-v0.1）的核心命題在數學語境下的活標本。
§1. 推導的完整重建
在展開分析之前，先完整重建該推導的步驟鏈：
設：A = B + C
步驟一：4A = 4B + 4C ✓
步驟二：3A = 3B + 3C ✓
步驟三：4A − 3A = 4B + 4C − 3B − 3C ✓
步驟四：4A − 4B − 4C = 3A − 3B − 3C ✓
步驟五：4(A−B−C) = 3(A−B−C) ✓
步驟六：（約掉 A−B−C）→ 4 = 3 ✓
老師在步驟五打了紅圈並說「必然是錯誤的」。這個診斷引發了一千條評論。
本文的論點是：老師圈的那一步是正確的——4(A−B−C)=3(A−B−C) 在前提 A=B+C 下是真命題（兩邊均等於零）。老師識別了推導是錯的，但沒有精確說出問題在哪裡。評論者找到了「除以零」這個症狀，也沒有說出問題的根源。真正的問題在更早、更深的地方，而且不只有一層。
§2. 第一層診斷：表面症狀——除以零
大多數識別到數學問題的評論者給出的答案是：步驟六不合法，因為 A−B−C=0（由前提 A=B+C 直接得到），不能用零做除數。
這個診斷正確識別了一個症狀，但它是一個後驗的症狀描述，不是問題的成因分析。
類比：你問「這輛車為什麼在路中間停下來」，答案是「因為引擎沒有燃料了」。這是正確的症狀描述。但它沒有回答：這輛車的燃料是在哪個環節消耗完的？它能回答「出了什麼事」，不能回答「這件事是如何發生的，以及它最早在哪裡被決定的」。
「除以零」的診斷把問題的位置定在步驟六。但步驟六只是把之前所有步驟積累的問題顯現出來的地方，不是問題開始的地方。問題的開始要往前找。
§3. 第二層診斷：線性相依的幻象系統
往前一層，可以看到推導的結構問題：步驟一（4A=4B+4C）和步驟二（3A=3B+3C）都是由同一條前提（A=B+C）乘以不同常數得到的。它們是線性相依的——兩條「方程式」實際上是同一條方程式，只是縮放比例不同。
當步驟三把這兩條「方程式」相減時，你並沒有從一個二方程系統中提取新信息。你得到的是 A=B+C——也就是原始前提。推導在那個時刻原地打轉了。
步驟四（4A−4B−4C=3A−3B−3C）是步驟三的移項，步驟五是提公因式。這些步驟在代數上都是合法的，但它們處理的信息量是零——因為步驟三就已經把信息消耗完了，剩下的全是 A−B−C=0 的各種裝飾性改寫。
這個層次的診斷比「除以零」更深一步：它說的是，這個推導從步驟三開始就已經在用一個秩為 1 的系統假裝成秩為 2 的系統在運作。步驟六的除以零，是這個假裝的終點。
然而，這仍然不是最深的問題所在。因為以上分析還是在默認「步驟一是合法的」這個前提下進行的。
§4. 第三層診斷：完備性缺失——域從未被定義
在步驟一打出 ✓ 之前，這個推導有一個先決條件從未被滿足：A、B、C 是什麼類型的數學物件？
這不是一個挑剔的技術性問題。它是一個根本性的完備性問題。
考慮以下幾個域的差異：
若 A、B、C 只能是正整數，那麼 A=B+C 意味著 A 嚴格大於 B 和 C 中的任何一個。後續的「4A=4B+4C」在這個域裡有特定的可計算性約束。
若允許負數，B 或 C 可以是負的，A=B+C 的結構就完全不同了。
若 A、B、C 是有理數、實數、複數，甚至是某個代數結構（模組、向量空間的元素、群的表示），每種情況下「乘以 4」這個操作的含義和合法性都不一樣。
這個推導從頭到尾沒有定義任何一個這樣的框架。✓ 是在問：「這一步在你所在的代數結構裡合法嗎？」而在沒有定義代數結構的情況下，這個問題根本無法被回答。
這不是說步驟一就一定是錯的——在最常見的默認框架（實數域、標準加法和乘法）下，4A=4B+4C 當然是真的。問題在於：這個默認框架被使用了但沒有被聲明。而如我們在下一節將看到的，恰恰是這個未聲明的框架，讓後續操作的真實性質被掩蓋了。
§5. 第四層診斷：乘法升維——步驟一的真實結構
即使假設域的定義問題已經解決，步驟一還有一個更深的問題：4A=4B+4C 是一個比 A=B+C 組合複雜度更高的代數物件。
這需要解釋。
A=B+C 是一條約束一個加法組合的等式。在這條等式裡，B 和 C 各出現一次，A 是它們的組合結果。組合方式是唯一的。
4B+4C=4A 引入了 4 個 B 的複本和 4 個 C 的複本。在標準算術的框架下，這不是問題——你只需要把括號分配開。但如果你允許更一般的代數結構（如表示論中的直和、代數幾何中的線性系統），那麼「4 個 B 和 4 個 C 如何組合」的方式就比「1 個 B 和 1 個 C 如何組合」的方式多得多。
在代數幾何的語言下（見附錄 B），線性系統 |4B+4C| 的維度（截面數 h⁰）遠大於 4 倍的 |B+C| 維度。這是 Riemann-Roch 定理的具體後果——多倍數的線性系統在空間上有非線性的增長。
在表示論的語言下（見附錄 C），End(4B⊕4C) 包含的 Hom 空間數量，遠大於 End(B⊕C) 的對應數量——4 倍之後有更多可能的內部配對方式。
因此，步驟一的 ✓ 標記了一個實際上已經在更高維空間裡操作的等式，而這個升維沒有被聲明，也沒有被管理。 後續每一步代數操作都在這個更高維的未控空間裡進行，直到步驟六把這個升維的後果暴露為除以零。
§6. 第五層診斷：約束等式的複雜度不等式
上一節的論述需要一個進一步的精確化，它本身構成一個獨立的洞見：
不只是「4B+4C 作為自由表達式的組合複雜度大於 4B+4C=4A」（這是顯然的：自由表達式比等式約束的表達式有更多自由度）。更重要的是：
4B+4C=4A（即使已被等號約束）的組合複雜度，仍然大於 B+C=A。
這兩條都是約束等式。但前者的組合複雜度高於後者。
理由：在相同的代數結構下，4B+4C=4A 允許的內部組合方式數量，比 B+C=A 允許的更多。即使兩者都被等號固定，前者的約束空間比後者的更大。就好像一個 4×4 矩陣方程式和一個 1×1 方程式，即使兩者都被某個條件約束，前者的解空間結構仍然更豐富。
這個不等式是關鍵的，因為它說明了：把 A=B+C 乘以 4 並不是「做同一件事的縮放版本」——它是在一個不同的、更複雜的代數空間裡做一件不同的事。 把這兩件事的結論直接相互操作（相減、移項、提因式、約分），需要兩個空間之間存在一個保結構的映射，而這個映射從未被建立。
§7. 最深層診斷：4 和 3 的範疇類型遷移
以上五層分析都在問：「這個推導的哪一步出了什麼問題？」最後一層要問的是不同的問題：「這個推導最終得到的 4=3，它的 4 和它的 3 是什麼類型的物件？」
答案是：它們不再是 ZFC 集合論意義下的自然數 4 和 3。
在 ZFC 集合論中，自然數 4 是一個特定的集合：{∅, {∅}, {∅,{∅}}, {∅,{∅},{∅,{∅}}}}。自然數 3 是 {∅, {∅}, {∅,{∅}}}。這兩個集合不相等，這是 ZFC 體系的定理，不可被一般代數推導所推翻。
然而，這個推導從 A=B+C 出發（這是 ZFC 域內的一個合法命題），通過一系列未聲明域的操作——乘法升維、組合複雜度擴張、未保結構的移項——實際上把 A、B、C、以及最終出現的 4 和 3，遷移出了 ZFC 的操作域。這個遷移沒有被聲明，也沒有被證明合法。
推導在最後一步呈現的 4=3，是在某個未被定義的代數結構裡成立的等式——在那個結構裡，「4」和「3」是某種商結構裡的等價類，或者某個理想商掉了它們的差，或者整個系統在某種退化的環裡運作，在那裡 4 和 3 碰巧映射到同一個元素。在那個結構裡，4=3 是自洽的——但那不是 ZFC 的 4 和 3。
這個推導做的事，是：用 ZFC 的符號開始，透過未定義的操作逐步離開 ZFC 的操作域，然後在一個不同的域裡得到一個在那個域裡或許自洽的等式，最後把這個等式的符號帶回來，讓觀察者誤以為這是在說 ZFC 的 4 等於 ZFC 的 3。
這就是範疇類型的偷換。符號維持不變，類型已經改變。
§8. 合法版本的存在性
值得注意：這個推導所想要證明的結論，在某些代數結構下確實是合法的。
例如，在 ℤ/1ℤ（模 1 整數環）中，所有整數都等同於零，因此 4≡3（mod 1）是成立的。在這個環裡，以 ZFC 自然數的方式書寫的推導確實能通向 4=3 這個等式——只是在這個環的意義下。
更一般地說：如果你定義一個代數結構，其中包含一個理想 I，使得 4−3 ∈ I（即 1 ∈ I），那麼在商環 R/I 裡，4 和 3 的像是相同的。在這個商環的語義下，4=3 是一個合法的等式。
但這需要：（一）明確聲明你工作在哪個代數結構裡；（二）證明你所有的中間步驟在那個結構裡都是合法的；（三）在最後宣布結論時明確說明：「這裡的 4 和 3 是在 ℤ/1ℤ 或 R/I 這個結構裡的元素，不是 ZFC 的自然數」。
這個推導什麼都沒有說明。它用 ZFC 自然數的外觀包裝了一個需要不同代數結構才能成立的等式，然後把結論呈現給觀察者，讓他們用 ZFC 的直覺去解讀一個不在 ZFC 裡的命題。這是完整版本的類型偷換：不只是類型在推導過程中改變了，連展示結論的方式都在製造類型沒有改變的假象。
§9. 連接至語義域有效性：數學版的術語遷移
《語義域有效性問題》（EML-EPS-2026-SDV-v0.1）描述了推理失敗的一個核心形態：術語遷移不帶結構——術語從一個域被提取出來，域結構被遺留在原地，只有符號遷移到新的語境，在新語境裡製造出有意義的假象。
本案例是這個失敗形態在數學語境下的精確具體化。
推導中的符號「4」和「3」在步驟一至步驟五的過程中，從 ZFC 的操作域被悄悄遷移到了一個更高組合複雜度的未定義代數結構。ZFC 賦予這兩個符號的類型信息（特定的集合論物件，服從特定的等式和不等式公理），在遷移過程中被丟棄了。到了步驟六，符號還在，類型已失。
SDV 論文將這種失敗命名為「命題存活域邊界」的越界——一個命題被帶到它的存活域之外，在那裡它不再是一個可以被評估為真假的命題，而是一個語義空洞。在本案例中，「ZFC 的 4 等於 ZFC 的 3」是一個假命題，其存活域邊界就是 ZFC 本身。而推導用未聲明的操作把 4 和 3 帶到了這個存活域之外，然後在外面問「這個命題是真的嗎？」——但此時的「4」和「3」已經不是 ZFC 的物件，這個問題針對的不再是原來的命題。
SDV 論文描述的另一個關鍵機制在這裡同樣有效：域假說壓力（Domain Hypothesis Pressure）的不對稱分佈。數學的假說壓力是最高的，因為證明要麼成立要麼不成立。但這個壓力要在正確的域層次才能發揮作用——在「中學代數的標準算術」這個層次，步驟一到步驟五確實都可以通過，假說壓力無法咬進去，因為壓力施加的層次（算術有效性）和問題存在的層次（組合複雜度、範疇類型）不同。
這就解釋了一千個評論的現象：評論者把假說壓力施加在錯誤的層次上（驗算每一步的算術是否正確），而問題存在的層次（操作的組合複雜度升維、範疇類型遷移）完全不在他們的域視野裡。在沒有域深度的情況下，假說壓力找不到可以咬住的地方。
§10. 為什麼沒有人看到
這一節不是在說那一千個評論者「邏輯不好」。他們的邏輯，在他們所在的域層次上，是完整的。他們的算術推理是正確的，他們找到了「除以零」這個在算術層次上確實存在的問題，他們的討論在算術域內是有效的。
問題是：算術域的視野到達不了這個推導真正失效的層次。
看到「組合複雜度升維」需要代數幾何或表示論的域深度。看到「範疇類型遷移」需要範疇論或 ZFC 後設分析的域深度。這些不是「更聰明」的問題，而是「不同域」的問題。
SDV 論文的核心句子在這裡可以被精確應用：你看不到自己看不到的東西。 不是因為你缺少邏輯能力，而是因為在你的域深度下，問題所在的那個層次對你來說根本不存在——它不是「看起來模糊的東西」，它對你來說是完全透明不可見的，就像沒有量子力學知識的人在看一個量子力學錯誤時，他看到的不是一個被遮蔽的問題，而是一個正確的物理描述。
這個案例還有一個額外的諷刺：「除以零」這個「正確答案」的存在，反而封閉了深入的可能。找到了一個聽起來合理的答案，討論停止了。沒有人繼續問：為什麼 A−B−C 會是零？這個零是什麼時候、在哪裡被決定的？決定它的操作在它被決定的那一刻是否合法？假說壓力在找到第一個「合理解釋」後就釋放了，沒有繼續運作到更深的層次。
這也是域深度不足的典型症狀：找到「夠好的答案」比找到正確答案更容易，而且在域深度不足的情況下，兩者看起來完全一樣。
§11. 結語
4 等於 3，在某些代數結構裡，是一個完全合法的命題。但那些結構裡的 4 和 3，不是集合論的 4 和 3，不是你數手指的那個四和三，不是讓這道題「聽起來荒謬」的那個四和三。
這個推導的錯誤不在某一步算錯了，而在它悄悄地、沒有任何聲明地、把它開頭用的那種 4 和 3，換成了另一種東西，然後假裝什麼都沒發生。
符號不動，類型已移。這是數學裡的術語遷移不帶結構。而之所以一千個人看了都沒發現，是因為問題發生的層次，在大多數人的域深度觸及不到的地方。這不是智力問題，是域問題。是廣度和深度的問題，是校準迴路有沒有運作到正確的層次的問題。
邏輯，在域之後。能看到什麼問題，取決於你站在哪個域裡。
附錄 A：推導的完整逐步結構分析
A.1 步驟鏈重建與每步的邏輯狀態
設前提：A = B + C（即 A − B − C = 0，以下記為 ε = 0，其中 ε ≡ A − B − C）
| 步驟 | 算術有效性 | 新增信息量 | 組合複雜度 | 類型狀態 | |------|-----------|-----------|-----------|---------| | 前提：A = B + C | ✓ | 定義 | 1 加法組合 | ZFC 域內 | | 步驟一：4A = 4B + 4C | 算術上✓ | 零（前提×4） | 升至 4 倍複本空間 | ZFC 域，但複雜度已升 | | 步驟二：3A = 3B + 3C | 算術上✓ | 零（前提×3） | 升至 3 倍複本空間 | ZFC 域，但複雜度已升 | | 步驟三：4A − 3A = ... | 算術上✓ | 零（回到前提） | 退回至 1 倍但路徑模糊 | 未聲明 | | 步驟四：移項 | 算術上✓ | 零（ε=0 的改寫） | 同步驟三 | 未聲明 | | 步驟五：4ε = 3ε | 算術上✓（因ε=0） | 零（0=0 的恆真） | 因式化形式 | 未聲明 | | 步驟六：4 = 3 | 除以 ε=0，非法 | 負（破壞性） | 崩潰 | 已出 ZFC |
A.2 步驟五的真實性質
步驟五（4(A−B−C) = 3(A−B−C)）在教學影片中被老師圈起來並標為「必然錯誤」。這個診斷是不準確的。
步驟五是真命題。由前提 A=B+C 得 ε=A−B−C=0，所以：
- 左側：4ε = 4·0 = 0
- 右側：3ε = 3·0 = 0
- 0 = 0 成立 ✓
步驟五的問題不是它為假，而是它為真的原因使得步驟六的操作非法——它是 0=0 的因式化形式，從這個形式「約掉」(A−B−C) 就是在 0 乘以某數等於 0 的等式裡，聲稱可以從「4 乘以它等於 3 乘以它」推出「4 等於 3」——這個推論在任何含有零因子（或在零元素無法做除法的結構）的系統裡都是非法的。
A.3 循環結構的展示
整個推導的信息論結構如下：
前提（ε = 0）→ [乘以 4，乘以 3，相減，移項，提因式] → 4ε = 3ε（即 4·0 = 3·0）→ [除以 ε=0，非法] → 4 = 3
中間的五個代數步驟的淨信息量為零：它們只是把 ε=0 改寫為 4ε=3ε，再試圖從 4ε=3ε 中提取係數信息——但當 ε=0 時，等式對所有係數都成立，係數信息根本無法從中提取。
附錄 B：代數幾何形式化——線性系統與組合複雜度
B.1 線性系統的基礎
設 B 和 C 是代數曲線（或更一般的代數簇）上的除子（divisor）。令 A = B + C（除子意義下的和）。
定義線性系統 |D| 為所有與 D 線性等價的有效除子的集合，其維度為 h⁰(D) − 1（其中 h⁰(D) 是 D 的全局截面數）。
B.2 Riemann-Roch 型結果的含義
對於代數曲線上的除子，Riemann-Roch 定理給出：
$$h^0(D) - h^0(K_C - D) = \deg(D) + 1 - g$$
其中 $K_C$ 是典範除子，$g$ 是曲線的虧格。
關鍵後果：對正除子 D，當 $\deg(D)$ 增大時，$h^0(D)$ 的增長快於線性。具體地說：
$$h^0(4B + 4C) \geq h^0(4B) + h^0(4C) - 1$$
而一般來說：
$$h^0(4B + 4C) > 4 \cdot h^0(B + C)$$
（後者需要具體條件，但對大量情況成立。）
這說明：線性系統 |4B + 4C| 的維度一般大於 4 倍的 |B + C| 的維度。4B + 4C 作為一個代數幾何物件，住在一個比 B + C 高維的截面空間裡。
B.3 這對推導意味著什麼
如果 A、B、C 是代數曲線上的除子，那麼：
- A = B + C 是一條關於一維截面空間裡的等式
- 4A = 4B + 4C 是一條關於高維截面空間裡的等式
- 這兩條等式不住在同一個「等式空間」裡
從一條導出另一條需要一個保截面空間維度的映射，而標準的「乘以 4」操作不提供這樣的映射——它只在算術符號層面成立，在幾何截面空間層面需要額外的結構。
附錄 C：表示論形式化——Hom 空間與 End 代數
C.1 設置
設 B 和 C 是某個群 G 的（有限維）線性表示，A = B ⊕ C（直和表示）。
C.2 自同態代數的比較
End(A) = End(B ⊕ C) 由以下組成： $$\text{End}(A) = \text{End}(B) \oplus \text{Hom}(B,C) \oplus \text{Hom}(C,B) \oplus \text{End}(C)$$
维度：$\dim \text{End}(A) = \dim \text{End}(B) + \dim \text{Hom}(B,C) + \dim \text{Hom}(C,B) + \dim \text{End}(C)$
現在考慮 4A = 4B ⊕ 4C（4 個 A = 4 個 B 加 4 個 C 的直和）：
$$\text{End}(4B \oplus 4C) = M_4(\text{End}(B)) \oplus M_{4\times 4}(\text{Hom}(B,C)) \oplus M_{4\times 4}(\text{Hom}(C,B)) \oplus M_4(\text{End}(C))$$
（其中 $M_n(V)$ 表示 $n\times n$ 矩陣與 $V$ 的張量積，即 $n^2$ 個 $V$ 的副本。）
C.3 維度比較
$$\dim \text{End}(4B \oplus 4C) = 16 \cdot \dim\text{End}(B) + 16 \cdot \dim\text{Hom}(B,C) + 16 \cdot \dim\text{Hom}(C,B) + 16 \cdot \dim\text{End}(C)$$
$$= 16 \cdot \dim\text{End}(A)$$
而 $\dim\text{End}(A)$ 本身已比原始問題大。關鍵是：4(B⊕C) 的自同態代數維度是 16 倍的 B⊕C 的自同態代數維度——即使作為相同的抽象表示，4B⊕4C 所攜帶的結構信息（可以「做」的操作的維度空間）比 B⊕C 豐富 16 倍。
這是「組合複雜度升維」的精確表示論含義：在表示論的語境下，4A ≠ 「A 的算術縮放版本」，而是一個具有更豐富自同態結構的不同表示物件。
附錄 D：ZFC 與範疇論——類型遷移的形式化
D.1 ZFC 中的自然數
在 ZFC 集合論中，自然數被如下定義（馮諾依曼序數）：
- 0 = ∅
- 1 = {∅}
- 2 = {∅, {∅}}
- 3 = {∅, {∅}, {∅,{∅}}}
- 4 = {∅, {∅}, {∅,{∅}}, {∅,{∅},{∅,{∅}}}}
4 ≠ 3 是 ZFC 的定理（因為 4 含有 3 作為元素，而 3 不含 4 作為元素）。這不可被代數推導所推翻——任何在 ZFC 內進行的合法推導都不能從真前提導出 4=3。
D.2 類型遷移的定義
定義：一個數學推導進行了範疇類型遷移，當且僅當：
- 推導以某個類型系統 T₁ 中的物件和操作開始；
- 推導過程中的某些操作在 T₁ 中無效（需要在更大的類型系統 T₂ 中才合法，或在 T₁ 的某個商結構 T₁/I 中才合法）；
- 推導在最後呈現的結論使用了 T₁ 的符號系統，但結論只在 T₂ 或 T₁/I 中成立；
- 這個從 T₁ 到 T₂/T₁/I 的遷移沒有被聲明。
D.3 本推導的類型遷移分析
本推導滿足上述四個條件：
- 開始：在 ZFC 的整數環 ℤ（或實數域 ℝ）中，前提 A=B+C 是合法的。
- 中間操作：乘以 4 的升維操作（如附錄 B、C 所示）把物件帶入了更高組合複雜度的空間，這個空間在 ℤ 或 ℝ 的標準算術下沒有被管理的機制。
- 結論：4=3 只在 ℤ/(4-3)ℤ = ℤ/1ℤ（即平凡環，所有元素等於 0）或其他包含 1 為零的環中成立。在這些結構中，「4」和「3」是等價類，不是 ZFC 的集合論物件。
- 未聲明：推導始終使用整數符號 4 和 3，從未聲明從 ℤ 到 ℤ/1ℤ 的商映射。
D.4 結論
這個推導的範疇類型遷移可以被精確地寫為：
$$4_{\mathbb{Z}} \xrightarrow{\text{未聲明的商映射}} 4_{\mathbb{Z}/\mathbb{Z}} = 3_{\mathbb{Z}/\mathbb{Z}} \xleftarrow{\text{未聲明的商映射}} 3_{\mathbb{Z}}$$
推導在中間執行了一個 ℤ → ℤ/1ℤ 的映射（把所有整數壓縮到 0），在那個域裡 4=3，然後把結果呈現為 ℤ 中的等式。這個商映射是隱含的、未聲明的、非法的——它是範疇類型遷移的完整實例。
參考文獻
內部文獻（EveMissLab 系列）
[1] Neo.K & Theia. 語義域有效性問題：邏輯之上游的推理失敗分析與域有效性感知的認識論基礎. EML-EPS-2026-SDV-v0.1. EveMissLab, 2026.
[2] Neo.K & Theia. 邏輯張力哲學（LTP）：矛盾作為生成引擎與倖存者判準. EML-LTP-2026-v1.0. EveMissLab, 2026.
[3] Neo.K & Theia. 翻譯算子理論（TOT）：語義失真的形式代數、可逆性分類與全息重構. EML-TOT-2026-v0.1. EveMissLab, 2026.
外部文獻
[4] von Neumann, J. "Zur Einführung der transfiniten Zahlen." Acta Scientiarum Mathematicarum (Szeged), 1:199–208, 1923. — ZFC 中自然數的馮諾依曼序數定義；本文 §7 與附錄 D 的 ZFC 類型基礎。
[5] Hartshorne, R. Algebraic Geometry. Springer, 1977. — 線性系統與除子的代數幾何框架；附錄 B 的技術基礎。
[6] Serre, J.-P. Linear Representations of Finite Groups. Springer, 1977. — 群表示的直和與自同態代數；附錄 C 的技術基礎。
[7] Mac Lane, S. Categories for the Working Mathematician. Springer, 1971. — 範疇論框架；附錄 D 的類型遷移分析的元語言。
[8] Gödel, K. "The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory." Proceedings of the National Academy of Sciences, 24(12), 1938. — ZFC 一致性；本文關於 ZFC 域邊界討論的背景。
前置理論：SDV（EML-EPS-2026-SDV-v0.1）、LTP（EML-LTP-2026-v1.0）、TOT（EML-TOT-2026-v0.1）