# 「無」的分類學：零、空集、未定義、缺席、未激活、不可存取與非指稱

**英文題名：** A Taxonomy of “Nothing”: Zero, Empty Set, Undefinedness, Absence, Inactivity, Inaccessibility, and Non-Denotation  
**系列：** 《觀察態、邊界與相對連通本體論》03  
**作者：** Neo.K  
**AI 協作：** GPT-5.6 Sol  
**機構：** EveMissLab／一言諾科技有限公司  
**文件性質：** 本體論／形式語義／認識論分類學論文  
**版本：** v0.1  
**日期：** 2026-08-25  
**狀態：** Working Paper / Canonical Taxonomy Candidate  
**正典上游：** EveMissLab Ontology Canon v0.1（2026-08-15）  
**前置文件：**  
1. 《觀察態與相對連通：從「萬物是否相連」到觀察者索引本體論》v0.1  
2. 《觀察不是存在的底，卻可能是可理解的底》v0.1

---

## 摘要

自然語言中的「無」「空」「沒有」「不存在」「看不到」「未定義」「找不到」經常被當成同一種狀態；數學、程式設計、AI runtime、認知科學與本體論中也常出現相同壓縮。本文主張，這種壓縮在跨域推理時會造成嚴重型別錯誤。

本文建立負狀態分類學：

$$
\boxed{
0
\neq
\varnothing
\neq
\bot
\neq
\mathrm{null}
\neq
\mathrm{undefined}
\neq
\mathrm{absent}
\neq
\mathrm{inactive}
\neq
\mathrm{inaccessible}
\neq
\mathrm{nondenoting}
\neq
\mathrm{unknown}
\neq
\mathrm{unrepresented}
\neq
\mathrm{undecided}
}
$$

且上述任何一項都不得只憑名稱直接等同：

$$
\mathrm{AbsoluteNothingness}.
$$

本文提出「負狀態型別守恆原則」：

$$
\boxed{
N_i(x)
\not\Rightarrow
N_j(x)
\quad
(i\neq j)
}
$$

除非存在明確的型別轉換規則與見證。

例如：

$$
\mathrm{NotFound}(x)
\not\Rightarrow
\mathrm{Nonexistent}(x),
$$

$$
\mathrm{AccessDenied}(x)
\not\Rightarrow
\mathrm{Absent}(x),
$$

$$
f(x)=\mathrm{undefined}
\not\Rightarrow
x=\varnothing,
$$

$$
\mathrm{Inactive}(x)
\not\Rightarrow
\neg\mathrm{Exists}(x).
$$

本文也區分 object-level negative state 與 meta-level negative judgement：

$$
N(x)
\neq
J(N(x)).
$$

一個系統能說「我不知道 $x$ 」時，已至少保留問題地址與未決狀態，因此：

$$
\boxed{
\mathrm{known\;unknown}
\neq
\mathrm{pure\;unaddressed\;absence}.
}
$$

本文不試圖直接證明「絕對虛無不存在」，而是建立更基本的前置規則：

$$
\boxed{
\text{任何關於「無」的本體論宣稱，
必須先通過負狀態分型。}
}
$$

**關鍵詞：** 無、零、空集、undefined、null、absence、inactivity、inaccessibility、non-denotation、unknown、negative state、ontology、AI epistemic state

---

# 0. 問題：為什麼「沒有」不是一個型別？

日常語言會說：

- 沒有錢；
- 沒有人；
- 沒有答案；
- 沒有權限；
- 沒有定義；
- 沒有啟動；
- 沒有找到；
- 沒有證據；
- 沒有值。

但：

$$
\mathrm{Balance}(a)=0
$$

與：

$$
a\notin\operatorname{Dom}(\mathrm{Balance})
$$

完全不同。

前者表示 $a$ 有合法狀態，且值為零；後者表示函數根本沒有對 $a$ 定義。

因此：

$$
\boxed{
0
\neq
\mathrm{undefined}.
}
$$

所以「沒有」不能作為未分型 primitive。

---

# 1. 負狀態總域

定義：

$$
\boxed{
\mathfrak N
=
\{
N_{\mathrm{zero}},
N_{\mathrm{empty}},
N_{\mathrm{bottom}},
N_{\mathrm{null}},
N_{\mathrm{undef}},
N_{\mathrm{abs}},
N_{\mathrm{inactive}},
N_{\mathrm{inacc}},
N_{\mathrm{nonden}},
N_{\mathrm{unknown}},
N_{\mathrm{unrep}},
N_{\mathrm{undecided}}
\}.
}
$$

每個負狀態至少應攜帶：

$$
\boxed{
N_i
=
\langle
\tau_i,
D_i,
W_i,
\Theta_i
\rangle
}
$$

其中：

- $\tau_i$：type；
- $D_i$：domain；
- $W_i$：witness；
- $\Theta_i$：scope / observer condition。

---

# 2. 數值零

$$
0
$$

首先是一個合法值。

若：

$$
f(x)=0,
$$

通常同時表示：

$$
x\in\operatorname{Dom}(f)
$$

與：

$$
0\in\operatorname{Cod}(f).
$$

因此：

$$
\boxed{
0
\neq
\text{no value}.
}
$$

在向量空間中：

$$
\mathbf 0\in V.
$$

在代數結構中：

$$
x+0=x.
$$

所以零本身是結構元素，不是「什麼都沒有」。

---

# 3. 空集合

空集合：

$$
\varnothing
$$

滿足：

$$
\nexists x:
x\in\varnothing.
$$

但它仍是可定址的形式物件。

例如：

$$
\varnothing
\subseteq
A
$$

且：

$$
|\varnothing|=0.
$$

注意：

$$
|\varnothing|=0
$$

不意味：

$$
\varnothing=0.
$$

因此：

$$
\boxed{
\text{empty set}
\neq
\text{numeric zero}.
}
$$

---

# 4. 空集與未定義

若：

$$
f:X\to\mathcal P(X)
$$

且：

$$
f(x)=\varnothing,
$$

這表示 $f$ 已合法計算，只是結果恰為空集合。

若：

$$
f(x)=\mathrm{undefined},
$$

則函數對該輸入沒有合法輸出。

所以：

$$
\boxed{
f(x)=\varnothing
\neq
f(x)=\mathrm{undefined}.
}
$$

---

# 5. Bottom 必須型別化

符號：

$$
\bot
$$

可能表示：

- least element；
- runtime failure；
- proof failure；
- divergence；
- observation failure；
- undefinedness。

因此不得裸用。

應寫成：

$$
\bot_{\mathrm{order}},
\quad
\bot_{\mathrm{runtime}},
\quad
\bot_{\mathrm{proof}},
\quad
\bot_{\mathrm{observation}}.
$$

特別是在偏序中：

$$
\forall x\in P:
\bot_{\mathrm{order}}\leq x.
$$

此時 $\bot_{\mathrm{order}}$ 是合法元素。

因此：

$$
\boxed{
\text{bottom}
\neq
\text{absolute nothingness}.
}
$$

---

# 6. Null

$$
\mathrm{null}
$$

通常是 schema 或資料結構中的缺值／空引用狀態。

但：

$$
\mathrm{age}=\mathrm{null}
$$

可能表示：

- 未填；
- 不知道；
- 不適用；
- 被遮蔽；
- 被刪除。

因此 null 必須帶 schema 語義：

$$
\boxed{
\mathrm{null}_{\mathrm{schema}}.
}
$$

否則不同負狀態會被壓扁。

---

# 7. 未定義

若：

$$
f:D\to C
$$

而：

$$
x\notin D,
$$

則：

$$
f(x)
$$

未定義。

這描述的是 mapping failure，不是 object absence。

所以：

$$
\boxed{
f(x)=\mathrm{undefined}
\not\Rightarrow
\neg\mathrm{Exists}(x).
}
$$

---

# 8. 缺席

缺席必須相對某個觀察條件：

$$
\boxed{
\mathrm{Absent}_{\Theta}(x).
}
$$

例如：

$$
\Theta=
\langle
L,T,E,M
\rangle
$$

可分別表示位置、時間窗、預期與測量有效性。

若：

$$
\operatorname{Expected}_{\Theta}(x)=1
$$

且：

$$
\operatorname{Registered}_{\Theta}(x)=0,
$$

才得到有意義的缺席判定。

因此：

$$
\boxed{
\mathrm{absence}
}
$$

是局部關係狀態，而不是全域不存在。

---

# 9. 未激活

令：

$$
\alpha_t(x)\in\{0,1\}.
$$

若：

$$
\alpha_t(x)=0,
$$

則：

$$
\mathrm{Inactive}_t(x).
$$

這不表示：

$$
x=\varnothing.
$$

因此：

$$
\boxed{
\mathrm{inactive}
\neq
\mathrm{absent}
\neq
\mathrm{undefined}.
}
$$

若：

$$
x\in\Lambda
$$

但：

$$
x\notin M_t,
$$

可能只是尚未顯現。

因此：

$$
x\notin M_t
\not\Rightarrow
x\notin\Lambda.
$$

反過來也不能從未顯現自動推出：

$$
x\in\Lambda.
$$

---

# 10. 不可存取

定義：

$$
\boxed{
\mathrm{Inaccessible}_{o,\Theta}(x).
}
$$

可能由：

- permission；
- encryption；
- network isolation；
- sensor limitation；
- context boundary；
- privacy policy；
- physical obstruction；

造成。

所以：

$$
\boxed{
\mathrm{AccessDenied}(x)
\neq
\mathrm{NotFound}(x).
}
$$

不可存取甚至可能是高資訊狀態，因為它至少揭示目標、請求、權限邊界與拒絕事件。

---

# 11. 非指稱

符號：

$$
s
$$

可以存在，但沒有成功 referent。

若：

$$
\operatorname{Denote}(s)
=
\bot_{\mathrm{ref}},
$$

則：

$$
\mathrm{NonDenoting}(s).
$$

因此：

$$
\boxed{
\operatorname{SymbolExists}(s)
\neq
\operatorname{ReferentExists}(s).
}
$$

非指稱也不必等於未定義。

若語義系統明確定義：

$$
\llbracket s\rrbracket
=
\mathrm{NoReferent},
$$

那麼這是「已定義的非指稱」。

所以：

$$
\boxed{
\mathrm{nondenoting}
\neq
\mathrm{undefined}.
}
$$

---

# 12. 未知

令 $q$ 為命題。

若系統 $S$：

$$
S\not\vdash q
$$

且：

$$
S\not\vdash\neg q,
$$

則可記：

$$
\mathrm{Unknown}_S(q).
$$

若系統還能保存：

$$
\operatorname{Addr}(q)
$$

與：

$$
\operatorname{Status}(q)=\mathrm{unknown},
$$

則形成：

$$
\boxed{
\mathrm{knownUnknown}_S(q).
}
$$

這不是零資訊，而是結構化未決狀態。

---

# 13. 未表示

若：

$$
R_S
$$

是系統 $S$ 的表示空間，而：

$$
x\notin R_S,
$$

可記：

$$
\mathrm{Unrepresented}_S(x).
$$

但：

$$
x\notin R_S
\not\Rightarrow
\neg\mathrm{Exists}(x).
$$

所以：

$$
\boxed{
\text{not represented}
\neq
\text{nonexistent}.
}
$$

未表示也不等於未知。

若 $x$ 尚不可定址，系統甚至無法形成：

$$
\mathrm{Unknown}(x).
$$

---

# 14. 未決與不可判定

應區分：

$$
\mathrm{unknown},
\quad
\mathrm{undecided},
\quad
\mathrm{undecidable}.
$$

其中：

- unknown：當前認識不足；
- undecided：目前尚未完成判定；
- undecidable：相對指定形式系統存在更強不可判定性主張。

因此：

$$
\boxed{
\mathrm{unknown}
\neq
\mathrm{undecided}
\neq
\mathrm{undecidable}.
}
$$

---

# 15. 負狀態型別守恆

本文提出：

## 原則 NSTC-1

$$
\boxed{
N_i(x)
\not\Rightarrow
N_j(x)
\quad
(i\neq j)
}
$$

除非存在：

$$
T_{i\to j}
$$

與轉換見證：

$$
W_{i\to j}.
$$

例如：

$$
\mathrm{Inactive}(x)
\not\Rightarrow
\mathrm{Absent}(x).
$$

但在只觀察 active object 的觀察器下，可能有：

$$
\mathrm{Inactive}(x)
\Rightarrow_{\Theta}
\mathrm{Absent}_{\Theta}(x).
$$

這是條件化映射，不是型別同一。

---

# 16. 同一症狀不等於同一原因

若：

$$
\mathrm{AccessDenied}
\to
\mathrm{NoDataReturned}
$$

以及：

$$
\mathrm{Absent}
\to
\mathrm{NoDataReturned},
$$

下游症狀相同。

但：

$$
\boxed{
\mathrm{AccessDenied}
\neq
\mathrm{Absent}.
}
$$

所以：

$$
\boxed{
\text{same downstream symptom}
\neq
\text{same upstream state}.
}
$$

這是 AI error handling 與本體論推理共同需要的原則。

---

# 17. 負狀態解析度

許多系統把所有失敗壓成：

$$
\bot.
$$

可視為投影：

$$
\Pi_{\mathrm{coarse}}
:
\mathfrak N
\to
\{\bot\}.
$$

定義：

$$
\rho_N(S)
$$

表示系統 $S$ 能區分的負狀態解析度。

若：

$$
\rho_N(S)=1,
$$

所有失敗只有一種。

較高：

$$
\rho_N(S)
$$

通常有利於：

- error recovery；
- tool selection；
- epistemic calibration；
- debugging；
- autonomous planning。

但：

$$
\rho_N
$$

也不能無限增加，否則會產生 taxonomy explosion。

因此需要：

$$
\boxed{
\rho_N^\ast(\mathrm{task})
}
$$

作為任務相依的最適負狀態解析度。

---

# 18. 負狀態矩陣

| 類型 | 主要作用域 | 是否可定址 | 是否直接推出本體不存在 |
|---|---|---:|---:|
| $0$ | value | 是 | 否 |
| $\varnothing$ | set | 是 | 否 |
| $\bot_\tau$ | typed failure/order | 是 | 否 |
| null | schema/data | 是 | 否 |
| undefined | function/rule | 是 | 否 |
| absent | observation/domain | 是 | 否 |
| inactive | activation | 是 | 否 |
| inaccessible | access | 是 | 否 |
| nondenoting | reference | 是 | 否 |
| unknown | epistemic | 是 | 否 |
| unrepresented | representation | 不一定 | 否 |
| undecided | proof/judgement | 是 | 否 |

總原則：

$$
\boxed{
\text{所有負狀態都必須帶 type 與 scope。}
}
$$

---

# 19. Object-level 與 Meta-level

若：

$$
N_i(x)
$$

是 object-level negative state，

則：

$$
J_S(N_i(x))
$$

是系統 $S$ 對該負狀態的判定。

因此：

$$
\boxed{
N_i(x)
\neq
J_S(N_i(x)).
}
$$

例如：

$$
\mathrm{Inaccessible}(x)
$$

與：

$$
\mathrm{KnownInaccessible}_S(x)
$$

不同。

後者多了一個 meta-address。

---

# 20. Known Unknown 與 Unknown Unknown

定義：

$$
\boxed{
\mathrm{KU}_S(q)
=
\operatorname{Addr}(q)
+
\operatorname{Status}(q,\mathrm{unknown}).
}
$$

它允許系統：

- 加入 research queue；
- 尋找工具；
- 設計實驗；
- 延後判定；
- 標記風險。

若：

$$
q
\notin
\operatorname{AddrSpace}(S),
$$

則可由外部 meta-observer 描述為：

$$
\mathrm{UU}_S(q).
$$

但對 $S$ 自己而言， $q$ 尚不可定址。

因此：

$$
\boxed{
\mathrm{UU}
}
$$

本身也是 observer-relative。

---

# 21. 沒有證據與證據顯示沒有

$$
\mathrm{NoEvidence}(x)
$$

與：

$$
\mathrm{EvidenceOfAbsence}(x)
$$

不同。

前者：

$$
\neg\exists e:
\operatorname{Supports}(e,x).
$$

後者：

$$
\exists e:
\operatorname{Supports}(e,\neg x).
$$

因此：

$$
\boxed{
\mathrm{NoEvidence}(x)
\neq
\mathrm{EvidenceOfAbsence}(x).
}
$$

這是負狀態分類最重要的科學推理應用之一。

---

# 22. 「沒找到」與「不存在」

搜尋結果：

$$
\mathrm{NotFound}(q)
$$

可能來自：

- index 缺失；
- query mismatch；
- permission；
- timeout；
- limited search depth；
- object absence。

因此應進一步分類：

$$
\boxed{
\mathrm{NotFound}
\to
\{
\mathrm{Absent},
\mathrm{Unindexed},
\mathrm{Inaccessible},
\mathrm{Unresolved},
\mathrm{Unknown}
\}.
}
$$

所以：

$$
\boxed{
\mathrm{NotFound}
\not\Rightarrow
\mathrm{Nonexistent}.
}
$$

---

# 23. 低解析度如何製造「假虛無」

若觀察器解析度：

$$
\rho\downarrow,
$$

不同負狀態可能全部被映射成：

$$
\mathrm{Nothing}.
$$

形式化為：

$$
\Pi_{\rho\downarrow}
(\mathfrak N)
=
\{\mathrm{nothing}\}.
$$

因此：

$$
\boxed{
\text{許多「什麼都沒有」，
可能只是低解析度觀察造成的負狀態塌縮。}
}
$$

這不證明真正虛無不存在。

它只證明：

$$
\boxed{
\text{「被觀察為無」不等於「本體為無」。}
}
$$

---

# 24. 負狀態解壓縮

若系統只保存：

$$
\bot,
$$

後續可嘗試：

$$
\operatorname{Refine}(\bot)
\to
N_i.
$$

例如：

$$
\bot
\to
\mathrm{inaccessible}.
$$

本文稱：

$$
\boxed{
\text{Negative-State Decompression}
}
$$

簡記：

$$
\mathrm{NSD}.
$$

它可以應用於：

- AI debug；
- scientific reasoning；
- ontology cleanup；
- memory reconstruction；
- autonomous recovery。

---

# 25. AI Runtime 的負狀態契約

建議：

```text
NegativeState {
  type
  target
  scope
  observer
  evidence
  confidence
  recoverable
  next_action
}
```

其中：

$$
\mathrm{type}
\in
\mathfrak N.
$$

例如：

$$
\mathrm{undefined}
\to
\mathrm{repairSchema},
$$

$$
\mathrm{inaccessible}
\to
\mathrm{requestPermission},
$$

$$
\mathrm{unknown}
\to
\mathrm{search},
$$

$$
\mathrm{inactive}
\to
\mathrm{activate},
$$

$$
\mathrm{nondenoting}
\to
\mathrm{resolveReference}.
$$

因此：

$$
\boxed{
\text{negative-state typing}
\rightarrow
\text{action selection}.
}
$$

---

# 26. 與相對連通的關係

Series 01 使用：

$$
J_{\Theta,R}
\in
\{1,0,\bot\}.
$$

本文後可升級為：

$$
\boxed{
J_{\Theta,R}
\in
\{
1,
0,
N_i
\}.
}
$$

因為：

$$
C_{\Theta,R}(x,y)
$$

無法證成時，原因可能是：

- 已證成無路徑；
- 沒搜尋到；
- 權限不足；
- relation type 未定義；
- observer resolution 不足；
- representation 無法表達。

因此：

$$
\boxed{
\bot
}
$$

應盡可能被 typed negative state 細分。

---

# 27. 與可理解底的關係

Series 02 提出：

$$
\mathcal I_{\min}
=
\mathcal R_{\mathrm{addr}}
\circ
\mathcal O_{\min}.
$$

本文補充：

$$
\boxed{
\mathcal R_{\mathrm{addr}}
}
$$

還必須保存：

$$
\operatorname{NegativeType}.
$$

否則地址存在，但負狀態語義仍被壓扁。

因此成熟反身認識至少需要：

$$
\boxed{
\text{addressability}
+
\text{negative-state typing}.
}
$$

---

# 28. 絕對虛無不是普通負狀態

若：

$$
\mathrm{AbsoluteNothingness}
$$

被定義為：

> 不具任何對象、結構、關係、地址、狀態、潛能、表示、差異與可判定性的絕對無。

那麼它不像：

$$
\mathrm{absent}
$$

或：

$$
\mathrm{undefined}
$$

那樣是局部系統狀態。

因此：

$$
\boxed{
\mathrm{AbsoluteNothingness}
\notin
\mathfrak N_{\mathrm{ordinary}}.
}
$$

普通負狀態都依賴某種 domain、rule、observer 或 representation；絕對虛無若採最強定義，恰好否定這些條件。

---

# 29. 「能被命名的無已不是無」的精確化

若：

$$
\operatorname{Name}(n)=s,
$$

至少存在：

$$
s
$$

作為符號。

因此：

$$
\boxed{
\text{named nothing}
}
$$

至少不是：

$$
\boxed{
\text{absence of all symbolic structure}.
}
$$

但：

$$
\operatorname{SymbolExists}(s)=1
$$

不推出：

$$
\operatorname{ReferentExists}(s)=1.
$$

所以：

$$
\boxed{
\text{命名生成表示，
不必然生成被命名者的本體。}
}
$$

---

# 30. 最小公理組

## Axiom N1 — Type Distinction

$$
\boxed{
N_i\neq N_j
\quad
(i\neq j)
}
$$

除非 canonical mapping 明確宣告等價。

## Axiom N2 — Scope Locality

$$
\boxed{
N_{i,\Theta}(x)
}
$$

只在作用域 $\Theta$ 中成立。

## Axiom N3 — No Ontological Upgrade

$$
\boxed{
N_{i,\Theta}(x)
\not\Rightarrow
\mathrm{AbsoluteNonBeing}(x)
}
$$

除非另有跨域證明。

## Axiom N4 — Meta-State Separation

$$
\boxed{
N_i(x)
\neq
J(N_i(x)).
}
$$

## Axiom N5 — Conversion Requires Witness

若：

$$
N_i
\Rightarrow
N_j,
$$

必須提供：

$$
W_{i\to j}.
$$

---

# 31. 可證偽與工程測試

至少可以建立：

### Zero-vs-Null Test

比較：

$$
0
$$

與：

$$
\mathrm{null}.
$$

### Empty-vs-Undefined Test

比較：

$$
f(x)=\varnothing
$$

與：

$$
f(x)=\mathrm{undefined}.
$$

### Missing-vs-Inaccessible Test

讓一個資源真正不存在，另一個只是權限不足，測試系統是否回報同一狀態。

### Unknown-vs-Nondenoting Test

比較：

$$
\mathrm{Unknown}(\mathrm{Exists}(x))
$$

與：

$$
\mathrm{NonDenoting}(s).
$$

### Inactive-vs-Absent Test

對 latent object 切換 activation state，測試是否被誤認成 object creation / destruction。

---

# 32. 本文不主張什麼

本文不主張：

$$
\mathrm{AbsoluteNothingness}
$$

必定存在。

也不主張：

$$
\mathrm{AbsoluteNothingness}
$$

必定不存在。

本文只主張：

$$
\boxed{
\text{普通形式負狀態與認識負狀態，
不能被直接當成絕對虛無。}
}
$$

這是一個 typing constraint，不是終極本體論結論。

---

# 33. 結論

本文的核心可以壓縮成一句：

$$
\boxed{
\text{「沒有」不是一個型別。}
}
$$

因此：

$$
\boxed{
0
\neq
\varnothing
\neq
\bot
\neq
\mathrm{null}
\neq
\mathrm{undefined}
\neq
\mathrm{absent}
\neq
\mathrm{inactive}
\neq
\mathrm{inaccessible}
\neq
\mathrm{nondenoting}
\neq
\mathrm{unknown}
\neq
\mathrm{unrepresented}
\neq
\mathrm{undecided}.
}
$$

這套分類不是增加術語，而是在阻止跨層推理。

若把：

$$
\mathrm{notObserved}
$$

誤成：

$$
\mathrm{notExisting},
$$

或把：

$$
\mathrm{undefined}
$$

誤成：

$$
\mathrm{nothing},
$$

一個局部 runtime 狀態就可能被錯誤升格為宇宙論結論。

因此本文最終提出：

$$
\boxed{
\text{任何關於「無」的本體論宣稱，
必須先通過負狀態分型。}
}
$$

以及：

$$
\boxed{
\text{被觀察到的「無」，
首先是一個有型別、有作用域的負狀態；
是否能進一步上升為本體虛無，
必須另行證明。}
}
$$

---

# 參考與前置文件

1. Neo.K，《EveMissLab Ontology Canon v0.1：一元、三元、閉合、共享狀態域與收連的正典化規格》，2026-08-15。
2. Neo.K，《觀察態與相對連通：從「萬物是否相連」到觀察者索引本體論》，2026-08-25。
3. Neo.K，《觀察不是存在的底，卻可能是可理解的底》，2026-08-25。
4. Neo.K，《視之基底系列 01：觀察不是底——差異、邊界、耦合與痕跡》，2026-08-01。
5. Neo.K，《視之基底系列 04：內視、外視與語義視——觀察算子的統一族》，2026-08-01。
6. Neo.K，《絕對—虛無符號演算：絕對區分悖論與未定義虛無的命題猜想》。
7. Neo.K，《內視分類學算子論：現實當下不可觀察者之統一分類與命題猜想框架》。
8. Neo.K，《恆在本體論：虛無不存在與真奇蹟上帝》，歷史文件。