← Archive
lm-003659 · 2026-09

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

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

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

英文題名： 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、認知科學與本體論中也常出現相同壓縮。本文主張，這種壓縮在跨域推理時會造成嚴重型別錯誤。

本文建立負狀態分類學：

0≠∅≠⊥≠null≠undefined≠absent≠inactive≠inaccessible≠nondenoting≠unknown≠unrepresented≠undecided\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} }

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

AbsoluteNothingness.\mathrm{AbsoluteNothingness}.

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

Ni(x)⇏Nj(x)(i≠j)\boxed{ N_i(x) \not\Rightarrow N_j(x) \quad (i\neq j) }

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

例如：

NotFound(x)⇏Nonexistent(x),\mathrm{NotFound}(x) \not\Rightarrow \mathrm{Nonexistent}(x), AccessDenied(x)⇏Absent(x),\mathrm{AccessDenied}(x) \not\Rightarrow \mathrm{Absent}(x), f(x)=undefined⇏x=∅,f(x)=\mathrm{undefined} \not\Rightarrow x=\varnothing, Inactive(x)⇏¬Exists(x).\mathrm{Inactive}(x) \not\Rightarrow \neg\mathrm{Exists}(x).

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

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

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

known  unknown≠pure  unaddressed  absence.\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. 問題：為什麼「沒有」不是一個型別？

日常語言會說：

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

但：

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

與：

a∉Dom⁡(Balance)a\notin\operatorname{Dom}(\mathrm{Balance})

完全不同。

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

因此：

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

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

1. 負狀態總域

定義：

N={Nzero,Nempty,Nbottom,Nnull,Nundef,Nabs,Ninactive,Ninacc,Nnonden,Nunknown,Nunrep,Nundecided}.\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}} \}. }

每個負狀態至少應攜帶：

Ni=⟨τi,Di,Wi,Θi⟩\boxed{ N_i = \langle \tau_i, D_i, W_i, \Theta_i \rangle }

其中：

  • τi\tau_i：type；
  • DiD_i：domain；
  • WiW_i：witness；
  • Θi\Theta_i：scope / observer condition。

2. 數值零

00

首先是一個合法值。

若：

f(x)=0,f(x)=0,

通常同時表示：

x∈Dom⁡(f)x\in\operatorname{Dom}(f)

與：

0∈Cod⁡(f).0\in\operatorname{Cod}(f).

因此：

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

在向量空間中：

0∈V.\mathbf 0\in V.

在代數結構中：

x+0=x.x+0=x.

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

3. 空集合

空集合：

∅\varnothing

滿足：

∄x:x∈∅.\nexists x: x\in\varnothing.

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

例如：

∅⊆A\varnothing \subseteq A

且：

∣∅∣=0.|\varnothing|=0.

注意：

∣∅∣=0|\varnothing|=0

不意味：

∅=0.\varnothing=0.

因此：

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

4. 空集與未定義

若：

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

且：

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

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

若：

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

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

所以：

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

5. Bottom 必須型別化

符號：

⊥\bot

可能表示：

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

因此不得裸用。

應寫成：

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

特別是在偏序中：

∀x∈P:⊥order≤x.\forall x\in P: \bot_{\mathrm{order}}\leq x.

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

因此：

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

6. Null

null\mathrm{null}

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

但：

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

可能表示：

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

因此 null 必須帶 schema 語義：

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

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

7. 未定義

若：

f:D→Cf:D\to C

而：

x∉D,x\notin D,

則：

f(x)f(x)

未定義。

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

所以：

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

8. 缺席

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

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

例如：

Θ=⟨L,T,E,M⟩\Theta= \langle L,T,E,M \rangle

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

若：

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

且：

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

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

因此：

absence\boxed{ \mathrm{absence} }

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

9. 未激活

令：

αt(x)∈{0,1}.\alpha_t(x)\in\{0,1\}.

若：

αt(x)=0,\alpha_t(x)=0,

則：

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

這不表示：

x=∅.x=\varnothing.

因此：

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

若：

x∈Λx\in\Lambda

但：

x∉Mt,x\notin M_t,

可能只是尚未顯現。

因此：

x∉Mt⇏x∉Λ.x\notin M_t \not\Rightarrow x\notin\Lambda.

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

x∈Λ.x\in\Lambda.

10. 不可存取

定義：

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

可能由：

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

造成。

所以：

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

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

11. 非指稱

符號：

ss

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

若：

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

則：

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

因此：

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

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

若語義系統明確定義：

⟦s⟧=NoReferent,\llbracket s\rrbracket = \mathrm{NoReferent},

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

所以：

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

12. 未知

令 qq 為命題。

若系統 SS：

S⊬qS\not\vdash q

且：

S⊬¬q,S\not\vdash\neg q,

則可記：

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

若系統還能保存：

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

與：

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

則形成：

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

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

13. 未表示

若：

RSR_S

是系統 SS 的表示空間，而：

x∉RS,x\notin R_S,

可記：

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

但：

x∉RS⇏¬Exists(x).x\notin R_S \not\Rightarrow \neg\mathrm{Exists}(x).

所以：

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

未表示也不等於未知。

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

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

14. 未決與不可判定

應區分：

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

其中：

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

因此：

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

15. 負狀態型別守恆

本文提出：

原則 NSTC-1

Ni(x)⇏Nj(x)(i≠j)\boxed{ N_i(x) \not\Rightarrow N_j(x) \quad (i\neq j) }

除非存在：

Ti→jT_{i\to j}

與轉換見證：

Wi→j.W_{i\to j}.

例如：

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

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

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

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

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

若：

AccessDenied→NoDataReturned\mathrm{AccessDenied} \to \mathrm{NoDataReturned}

以及：

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

下游症狀相同。

但：

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

所以：

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

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

17. 負狀態解析度

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

⊥.\bot.

可視為投影：

Πcoarse:N→{⊥}.\Pi_{\mathrm{coarse}} : \mathfrak N \to \{\bot\}.

定義：

ρN(S)\rho_N(S)

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

若：

ρN(S)=1,\rho_N(S)=1,

所有失敗只有一種。

較高：

ρN(S)\rho_N(S)

通常有利於：

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

但：

ρN\rho_N

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

因此需要：

ρN∗(task)\boxed{ \rho_N^\ast(\mathrm{task}) }

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

18. 負狀態矩陣

類型 主要作用域 是否可定址 是否直接推出本體不存在
00 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 是 否

總原則：

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

19. Object-level 與 Meta-level

若：

Ni(x)N_i(x)

是 object-level negative state，

則：

JS(Ni(x))J_S(N_i(x))

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

因此：

Ni(x)≠JS(Ni(x)).\boxed{ N_i(x) \neq J_S(N_i(x)). }

例如：

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

與：

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

不同。

後者多了一個 meta-address。

20. Known Unknown 與 Unknown Unknown

定義：

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

它允許系統：

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

若：

q∉AddrSpace⁡(S),q \notin \operatorname{AddrSpace}(S),

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

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

但對 SS 自己而言， qq 尚不可定址。

因此：

UU\boxed{ \mathrm{UU} }

本身也是 observer-relative。

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

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

與：

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

不同。

前者：

¬∃e:Supports⁡(e,x).\neg\exists e: \operatorname{Supports}(e,x).

後者：

∃e:Supports⁡(e,¬x).\exists e: \operatorname{Supports}(e,\neg x).

因此：

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

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

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

搜尋結果：

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

可能來自：

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

因此應進一步分類：

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

所以：

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

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

若觀察器解析度：

ρ↓,\rho\downarrow,

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

Nothing.\mathrm{Nothing}.

形式化為：

Πρ↓(N)={nothing}.\Pi_{\rho\downarrow} (\mathfrak N) = \{\mathrm{nothing}\}.

因此：

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

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

它只證明：

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

24. 負狀態解壓縮

若系統只保存：

⊥,\bot,

後續可嘗試：

Refine⁡(⊥)→Ni.\operatorname{Refine}(\bot) \to N_i.

例如：

⊥→inaccessible.\bot \to \mathrm{inaccessible}.

本文稱：

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

簡記：

NSD.\mathrm{NSD}.

它可以應用於：

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

25. AI Runtime 的負狀態契約

建議：

NegativeState {
  type
  target
  scope
  observer
  evidence
  confidence
  recoverable
  next_action
}

其中：

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

例如：

undefined→repairSchema,\mathrm{undefined} \to \mathrm{repairSchema}, inaccessible→requestPermission,\mathrm{inaccessible} \to \mathrm{requestPermission}, unknown→search,\mathrm{unknown} \to \mathrm{search}, inactive→activate,\mathrm{inactive} \to \mathrm{activate}, nondenoting→resolveReference.\mathrm{nondenoting} \to \mathrm{resolveReference}.

因此：

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

26. 與相對連通的關係

Series 01 使用：

JΘ,R∈{1,0,⊥}.J_{\Theta,R} \in \{1,0,\bot\}.

本文後可升級為：

JΘ,R∈{1,0,Ni}.\boxed{ J_{\Theta,R} \in \{ 1, 0, N_i \}. }

因為：

CΘ,R(x,y)C_{\Theta,R}(x,y)

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

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

因此：

⊥\boxed{ \bot }

應盡可能被 typed negative state 細分。

27. 與可理解底的關係

Series 02 提出：

Imin⁡=Raddr∘Omin⁡.\mathcal I_{\min} = \mathcal R_{\mathrm{addr}} \circ \mathcal O_{\min}.

本文補充：

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

還必須保存：

NegativeType⁡.\operatorname{NegativeType}.

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

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

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

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

若：

AbsoluteNothingness\mathrm{AbsoluteNothingness}

被定義為：

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

那麼它不像：

absent\mathrm{absent}

或：

undefined\mathrm{undefined}

那樣是局部系統狀態。

因此：

AbsoluteNothingness∉Nordinary.\boxed{ \mathrm{AbsoluteNothingness} \notin \mathfrak N_{\mathrm{ordinary}}. }

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

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

若：

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

至少存在：

ss

作為符號。

因此：

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

至少不是：

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

但：

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

不推出：

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

所以：

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

30. 最小公理組

Axiom N1 — Type Distinction

Ni≠Nj(i≠j)\boxed{ N_i\neq N_j \quad (i\neq j) }

除非 canonical mapping 明確宣告等價。

Axiom N2 — Scope Locality

Ni,Θ(x)\boxed{ N_{i,\Theta}(x) }

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

Axiom N3 — No Ontological Upgrade

Ni,Θ(x)⇏AbsoluteNonBeing(x)\boxed{ N_{i,\Theta}(x) \not\Rightarrow \mathrm{AbsoluteNonBeing}(x) }

除非另有跨域證明。

Axiom N4 — Meta-State Separation

Ni(x)≠J(Ni(x)).\boxed{ N_i(x) \neq J(N_i(x)). }

Axiom N5 — Conversion Requires Witness

若：

Ni⇒Nj,N_i \Rightarrow N_j,

必須提供：

Wi→j.W_{i\to j}.

31. 可證偽與工程測試

至少可以建立：

Zero-vs-Null Test

比較：

00

與：

null.\mathrm{null}.

Empty-vs-Undefined Test

比較：

f(x)=∅f(x)=\varnothing

與：

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

Missing-vs-Inaccessible Test

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

Unknown-vs-Nondenoting Test

比較：

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

與：

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

Inactive-vs-Absent Test

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

32. 本文不主張什麼

本文不主張：

AbsoluteNothingness\mathrm{AbsoluteNothingness}

必定存在。

也不主張：

AbsoluteNothingness\mathrm{AbsoluteNothingness}

必定不存在。

本文只主張：

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

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

33. 結論

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

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

因此：

0≠∅≠⊥≠null≠undefined≠absent≠inactive≠inaccessible≠nondenoting≠unknown≠unrepresented≠undecided.\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}. }

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

若把：

notObserved\mathrm{notObserved}

誤成：

notExisting,\mathrm{notExisting},

或把：

undefined\mathrm{undefined}

誤成：

nothing,\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，《恆在本體論：虛無不存在與真奇蹟上帝》，歷史文件。