# OIGT Paper 01｜World Sort、Local Set Kernel 與非集合全域域

## 從全域容器到開放多排序基礎

**English Title:** *World Sort, Local Set Kernels, and the Non-Set Global Domain: Toward an Open Multi-Sorted Foundation*  
**Series:** Open Inter-World Globality Theory  
**Series ID:** OIGT  
**Paper:** 01 / 10  
**Version:** Draft v0.1  
**Date:** 2026-09-14  
**Author:** Neo.K  
**AI Collaboration:** Aletheia / GPT-5.6 Sol  
**Institution:** EveMissLab / 一言諾科技有限公司  
**Status:** Foundational Formal Draft  
**Depends on:** OIGT Paper 00

---

# 摘要

OIGT Paper 00 提出：

$$
\boxed{
\text{Globality without a Universal World}
}
$$

作為開放跨世界全域論的核心問題。

本文進一步建立第一版形式基礎。

核心修改並不是取消集合，而是取消下列默認等同：

$$
\boxed{
\text{World}
=
\text{Set}
=
\text{Global Container}.
}
$$

本文採用多排序與局部集合核架構，使：

$$
\mathsf{World},
\qquad
\mathsf{LocalSet},
\qquad
\mathsf{Object},
\qquad
\mathsf{Relation},
\qquad
\mathsf{Presentation}
$$

在形式上具有不同角色。

其中 World 為 primitive sort，不被預設為集合、圖、tuple 或 category object；集合論則被保留為世界內部可使用的 local kernel。

因此傳統集合論中的唯一空集不被否定。其唯一性只在指定 set kernel 中成立：

$$
\exists !\,
\varnothing_W.
$$

但：

$$
\varnothing_{W_i}
$$

與：

$$
\varnothing_{W_j}
$$

不因為同為局部空集，就自動推出：

$$
W_i=W_j.
$$

更重要的是，世界的「目前沒有已實現對象」不再以：

$$
W=\varnothing
$$

表示，而寫成：

$$
\operatorname{Null}_{act}(W).
$$

所以：

$$
\boxed{
\text{Empty Set}
\neq
\text{Null World}.
}
$$

本文同時處理一個形式化上的重要問題：若 OIGT 宣稱「所有世界不構成一個全域集合」，傳統一階模型論卻通常以一個集合承載 interpretation domain，是否產生矛盾？

本文提出雙重語義：

1. **Set-Sized Fragment Semantics**：任一實際證明、計算與 Runtime 僅操作有限或 set-sized world fragment；
2. **Open-Class / Expanding Semantics**：全局理論由可持續擴大的 fragment family 表示，不要求存在終端最大 fragment。

因此：

$$
\boxed{
\text{Global quantification}
\neq
\text{object-level universal container}.
}
$$

OIGT 的「所有世界」是一個排序量化範圍，而不是一個必須成為世界內部對象的全集。

---

# 關鍵詞

World Sort、Local Set Kernel、多排序邏輯、依賴型集合族、非集合全域域、局部空集、Null World、World Residency、全域量化、有限 fragment、開放模型塔、Extension、Revision、表示—本體分離、OIGT。

---

# 1. 本文處理什麼問題？

Paper 00 已經提出：

$$
\boxed{
\text{Distributed Globality}
\neq
\text{Universal Container}.
}
$$

但如果要把這句真正寫成數學，就立刻遇到四個問題。

第一：

> 如果 World 不是 Set，那麼世界裡的東西怎麼存在？

第二：

> 如果沒有所有 World 的全集，我們如何寫「對所有 World」？

第三：

> 如果空集仍然唯一，怎麼會有多個不同的「空世界」？

第四：

> 如果實際計算只能處理有限世界，無界可擴張的全域結構如何形式存在？

本文依序回答這四個問題。

---

# 2. 第一個形式選擇：多排序，而不是萬物塞進同一型別

OIGT Draft v0.1 不使用單一無型別 universe：

$$
\mathcal U
$$

承載所有存在。

而首先區分：

$$
\boxed{
\begin{aligned}
\mathsf W &: \mathsf{World},\\
\mathsf O &: \mathsf{Object},\\
\mathsf S &: \mathsf{LocalSet},\\
\mathsf R &: \mathsf{Relation},\\
\mathsf B &: \mathsf{Bridge},\\
\mathsf F &: \mathsf{Fiber},\\
\mathsf P &: \mathsf{Presentation},\\
\mathsf C &: \mathsf{Certificate}.
\end{aligned}
}
$$

這不是宣稱八種存在是宇宙中最終的本體分類。

它只建立最低型別紀律：

$$
\boxed{
\text{不同形式角色不可在沒有 bridge 的情況下直接互換。}
}
$$

---

# 3. World Sort

寫：

$$
W:\mathsf{World}.
$$

這只表示：

> $W$ 是 OIGT 中可被指稱為 world 的 primitive。

它不自動推出：

$$
W\in X,
$$

也不推出：

$$
W=(A,R,\Gamma,\ldots),
$$

更不推出：

$$
W
$$

必須是某個 category 的 object。

因此：

$$
\boxed{
\mathsf{World}
\neq
\mathsf{Set}.
}
$$

在多排序語言中，甚至不應允許無條件寫：

$$
W=A
$$

其中：

$$
W:\mathsf{World},
\qquad
A:\mathsf{LocalSet}.
$$

這首先是一個 type error，而不是需要證明為假的命題。

---

# 4. Local Set Kernel

集合並沒有被移除。

對一個指定世界：

$$
W,
$$

可以存在一個局部集合論 kernel：

$$
\boxed{
K_W
=
\left(
\mathsf{Set}_W,
\in_W,
=_W,
\mathcal A_W
\right).
}
$$

其中：

- $\mathsf{Set}_W$：該 kernel 中的 set sort；
- $\in_W$：局部 membership；
- $=_W$：kernel 內集合身份；
- $\mathcal A_W$：該 kernel 採用的集合論公理或片段。

例如可以選：

$$
\mathcal A_W
=
\mathrm{ZFC}.
$$

也可以是：

- ZF；
- constructive set theory；
- type-theoretic kernel；
- finite set fragment；
- domain-specific formal kernel。

因此：

$$
\boxed{
\text{OIGT does not require every World to share one set-theoretic kernel}.
}
$$

---

# 5. Local Set Family

更準確地說，OIGT 不假定存在一個全域：

$$
\mathsf{Set}.
$$

然後所有世界都從其中拿集合。

而採用 world-indexed family：

$$
\boxed{
W
\mapsto
\mathsf{Set}_W.
}
$$

概念上可以理解為 dependent family：

$$
\mathsf{Set}(-):
\mathsf{World}
\leadsto
\mathsf{LocalSetFamily}.
$$

所以：

$$
A:\mathsf{Set}_{W_i}
$$

與：

$$
B:\mathsf{Set}_{W_j}
$$

即使具有完全相同 member presentation，也不自動獲得跨世界身份：

$$
A=_?B.
$$

跨世界 equality 需要額外 bridge。

---

# 6. 局部 membership

傳統：

$$
x\in A
$$

在 OIGT 中改寫為：

$$
\boxed{
x\in_W A.
}
$$

其中：

$$
A:\mathsf{Set}_W.
$$

因此 membership 自帶 world/kernel index。

這表示：

$$
x\in_{W_i}A
$$

不自動推出：

$$
x\in_{W_j}A'.
$$

即使：

$$
A
$$

與：

$$
A'
$$

在某個 projection 下看起來相同。

---

# 7. World Residency

但某個 Object 「存在於世界」不是 set membership。

因此另定義：

$$
\boxed{
\triangleleft
:
\mathsf{Object}
\times
\mathsf{World}
\rightarrow
\mathsf{Prop}.
}
$$

寫成：

$$
x\triangleleft W.
$$

讀作：

> $x$ 在指定語義下駐留／被實現於世界 $W$。

所以：

$$
\boxed{
x\in_W A
\neq
x\triangleleft W.
}
$$

前者是 set membership。

後者是 world residency。

這兩種關係不可無條件互換。

---

# 8. Hosted Set

同樣，一個 local set kernel 中的集合與 world 的關係，可以寫：

$$
\operatorname{Hosted}(A,W).
$$

若：

$$
A:\mathsf{Set}_W,
$$

則：

$$
\operatorname{Hosted}(A,W).
$$

但：

$$
\operatorname{Hosted}(A,W)
$$

仍不表示：

$$
A=W.
$$

所以：

$$
\boxed{
\text{World contains a set presentation}
\neq
\text{World is that set}.
}
$$

---

# 9. 局部空集仍然存在

若：

$$
K_W
$$

採用 extensional set kernel，則可以保留空集公理。

存在：

$$
\varnothing_W
$$

滿足：

$$
\forall x,
\quad
x\notin_W\varnothing_W.
$$

由局部 extensionality：

$$
\forall A,B\in\mathsf{Set}_W,
$$

若：

$$
\forall x,
\quad
x\in_WA
\leftrightarrow
x\in_WB,
$$

則：

$$
A=_WB.
$$

因此：

$$
\boxed{
\exists!\varnothing_W.
}
$$

---

# 10. 但沒有必要存在 Global Empty Set

OIGT 不要求：

$$
\exists\varnothing_G
$$

使所有 world-local emptiness 都被識別為同一個全域 object。

因此：

$$
\varnothing_{W_i},
\qquad
\varnothing_{W_j}
$$

可以透過 bridge 被判定為：

$$
\varnothing_{W_i}
\simeq
\varnothing_{W_j},
$$

也可以只具有：

$$
\text{structural equivalence}.
$$

但不預先宣告：

$$
\varnothing_{W_i}
=
\varnothing_{W_j}.
$$

---

# 11. Empty Set 與 Null World

現在可以正式區分：

$$
\boxed{
\varnothing_W
:
\mathsf{Set}_W
}
$$

與：

$$
\boxed{
\operatorname{Null}_{act}(W)
:
\mathsf{Prop}.
}
$$

兩者完全不同型。

因此：

$$
\operatorname{Null}_{act}(W)
$$

不代表：

$$
W=\varnothing_W.
$$

這甚至不是合法的同型 equality。

所以：

$$
\boxed{
\text{Empty Set}
\neq
\text{Null World}.
}
$$

---

# 12. World Presentation

真實 Runtime 不可能一次保存 World 全部本體。

因此定義 presentation：

$$
P_t(W):\mathsf{Presentation}.
$$

第一版可以寫：

$$
\boxed{
P_t(W)
=
\left\langle
A_t,
R_t,
\Gamma_t,
F_t,
H_t
\right\rangle.
}
$$

其中：

$$
A_t
$$

為當前 active/materialized objects；

$$
R_t
$$

為當前 materialized relations；

$$
\Gamma_t
$$

為當前 legality/rule context；

$$
F_t
$$

為 expansion frontier；

$$
H_t
$$

為歷史與 provenance。

但：

$$
\boxed{
P_t(W)\neq W.
}
$$

這是一條永久 type boundary。

---

# 13. Active Nullity

如果：

$$
A_t(W)=\varnothing_W,
$$

則定義：

$$
\boxed{
\operatorname{Null}_{act}(W,t).
}
$$

注意：

$$
A_t(W)
$$

只是 presentation 中的 active carrier。

因此：

$$
\operatorname{Null}_{act}(W,t)
$$

只表示：

> $W$ 在 $t$ 時刻沒有 active realized object。

並不表示：

- 沒有歷史；
- 沒有規則；
- 沒有 bridge；
- 沒有 frontier；
- 沒有未來。

---

# 14. 三種 Null

OIGT Draft v0.1 暫區分：

$$
\boxed{
\operatorname{Null}_{act}(W,t)
}
$$

active realization 為空；

$$
\boxed{
\operatorname{Null}_{rel}(W,t)
}
$$

materialized relation 為空；

$$
\boxed{
\operatorname{Null}_{gen}(W,t)
}
$$

合法 expansion frontier 為空。

其中：

$$
\operatorname{Null}_{act}
$$

不推出：

$$
\operatorname{Null}_{gen}.
$$

所以：

$$
\boxed{
\operatorname{Null}_{act}(W,t)
\land
\neg
\operatorname{Null}_{gen}(W,t)
}
$$

是合法狀態。

這就是 Open Null World 的最低形式。

---

# 15. Open Null World

定義：

$$
\boxed{
\operatorname{OpenNull}(W,t)
}
$$

若：

$$
\operatorname{Null}_{act}(W,t)
$$

且：

$$
F_t(W)\neq\varnothing.
$$

或等價地存在合法 future extension：

$$
\exists W',
\quad
W\hookrightarrow W'.
$$

使：

$$
\neg
\operatorname{Null}_{act}(W').
$$

因此：

$$
\boxed{
\text{Current emptiness}
\neq
\text{terminal emptiness}.
}
$$

---

# 16. 「所有 World」怎麼說？

如果不存在：

$$
U_W
=
\{W_1,W_2,\ldots\},
$$

那麼我們如何寫：

$$
\forall W?
$$

答案是：

> 量化不等於 membership。

在 many-sorted language 中：

$$
\forall W:\mathsf{World},
\quad
\varphi(W)
$$

只是對 World sort 的量化。

它不是：

$$
\forall W\in U_W,
\quad
\varphi(W).
$$

因此：

$$
\boxed{
\forall_{\mathsf{World}}
\neq
\forall_{W\in U_W}.
}
$$

這是 OIGT 最重要的邏輯區分之一。

---

# 17. Global Quantification without Global Container

OIGT 因此接受：

$$
\boxed{
\forall W:\mathsf{World}
}
$$

同時拒絕由此推得：

$$
\boxed{
\exists U_W:\mathsf{Set},
\quad
\forall W:\mathsf{World},
\quad
W\in U_W.
}
$$

後式甚至涉及：

$$
\mathsf{World}
\rightarrow
\mathsf{Set}
$$

的非法 type promotion。

所以：

$$
\boxed{
\text{Global Quantification}
\not\Rightarrow
\text{Universal Containment}.
}
$$

---

# 18. 但標準模型論不是會把 World Domain 當成一個集合嗎？

這是一個必須正面處理的問題。

標準 many-sorted first-order model 通常會指定：

$$
D_{\mathsf W}
$$

作為 World sort 的 interpretation domain。

在普通模型論中：

$$
D_{\mathsf W}
$$

通常是 set。

如果直接把：

$$
D_{\mathsf W}
$$

等同 OIGT 的「所有世界本體」，就重新引入了全域集合。

因此本文明確區分：

$$
\boxed{
\text{Model Domain}
\neq
\text{World Ontology}.
}
$$

模型只是 presentation。

---

# 19. Set-Sized Fragment Semantics

第一種正式語義是：

$$
\boxed{
\mathcal M_i
}
$$

只建模當前一個 set-sized world fragment。

例如：

$$
\mathcal M_i
=
\left(
D_{\mathsf W}^{(i)},
D_{\mathsf O}^{(i)},
D_{\mathsf S}^{(i)},
\ldots
\right).
$$

其中：

$$
D_{\mathsf W}^{(i)}
$$

只是目前模型處理的 world sites。

不宣稱：

$$
D_{\mathsf W}^{(i)}
=
\text{all possible Worlds}.
$$

---

# 20. Open Model Tower

OIGT 全局語義更接近：

$$
\mathcal M_0
\hookrightarrow
\mathcal M_1
\hookrightarrow
\mathcal M_2
\hookrightarrow
\cdots
$$

其中每個：

$$
\mathcal M_i
$$

都只是有限／set-sized fragment。

但不要求存在最終：

$$
\mathcal M_{\max}.
$$

因此：

$$
\boxed{
\text{Open Global Semantics}
=
\text{Extensible Fragment Family}.
}
$$

而不是：

$$
\boxed{
\text{One Completed Universal Model}.
}
$$

---

# 21. 不要求 $\mathcal M_\infty$ 成為 object

記號：

$$
\mathcal M_0
\to
\mathcal M_1
\to
\cdots
$$

不應被偷換成：

$$
\exists\mathcal M_\infty
$$

且：

$$
\mathcal M_i\subseteq\mathcal M_\infty
\quad
\forall i.
$$

OIGT 不禁止某些數學後端建立 direct limit。

但不把它作為 foundation 必要條件。

所以：

$$
\boxed{
\text{Unbounded Model Extension}
\neq
\text{Required Completed Limit Object}.
}
$$

---

# 22. Finite Runtime Semantics

對計算機而言，進一步要求：

$$
\boxed{
|D_{\mathsf W}^{(t),\mathrm{active}}|<\infty.
}
$$

以及：

$$
|D_{\mathsf O}^{(t),\mathrm{active}}|<\infty.
$$

任一實際時間只操作有限 active support。

但：

$$
\not\exists N<\infty
$$

被理論要求成為所有未來 world count、depth 或 refinement 的共同最大值。

因此：

$$
\boxed{
\text{Finite Present}
+
\text{Unbounded Future Reach}.
}
$$

---

# 23. World Extension

定義 extension relation：

$$
\boxed{
W
\hookrightarrow_\iota
W'.
}
$$

其中：

$$
\iota
$$

是 preservation witness。

最低要求是：

> $W'$ 增加了新的合法結構，但沒有無聲改寫被宣告必須保存的既有結構。

設：

$$
I_W
$$

為指定 invariants。

則 extension 要求：

$$
\boxed{
\iota(I_W)
\simeq
I_{W'}|_{\iota(W)}.
}
$$

---

# 24. Extension 不等於 Set Inclusion

因為：

$$
W,W':\mathsf{World},
$$

所以：

$$
W\hookrightarrow W'
$$

不應被簡化成：

$$
W\subseteq W'.
$$

後者只有在某個特定 set presentation 中才可能成立。

因此：

$$
\boxed{
\text{World Extension}
\neq
\text{Set Inclusion}.
}
$$

---

# 25. Revision

如果世界不只是增加新結構，而是修改：

- law；
- type；
- identity；
- interpretation；
- bridge semantics；
- historical meaning；

則寫：

$$
\boxed{
W
\rightsquigarrow_\mu
W'.
}
$$

其中：

$$
\mu
$$

為 migration witness。

所以：

$$
\boxed{
\hookrightarrow
\neq
\rightsquigarrow.
}
$$

---

# 26. 為什麼 Extension / Revision 必須分開？

如果沒有這個區分，任何改規則都可以被描述成：

> 世界只是繼續展開。

那麼「無界擴張」會退化成：

$$
\text{arbitrary mutation}.
$$

OIGT 因此要求：

$$
\boxed{
\text{Unbounded Extensibility}
\neq
\text{Unconstrained Mutability}.
}
$$

---

# 27. Representation Non-Promotion

如果：

$$
P(W)
$$

是一個：

- graph；
- matrix；
- tensor；
- database；
- tuple；
- set model；

則不能由：

$$
P(W)
$$

存在直接推出：

$$
W=P(W).
$$

因此定義：

$$
\boxed{
\text{Presentation}
\not\Rightarrow
\text{Ontological Identity}.
}
$$

這條規則對未來 Graph Runtime 特別重要。

---

# 28. Graph 也是 Presentation

因此即使後續 OIGT 使用：

$$
G(W)
$$

作為 canonical computational graph，也應保持：

$$
\boxed{
G(W)
\neq W.
}
$$

所謂 canonical，只表示：

> 在指定 runtime / protocol 中，它是權威 computational representation。

而不是：

> 它就是 World 本體本身。

---

# 29. 第一版語言 $\mathcal L_{\mathrm{OIGT}}^{0}$

本文暫定基礎語言包含 sorts：

$$
\boxed{
\mathsf{World},
\mathsf{Object},
\mathsf{LocalSet},
\mathsf{Relation},
\mathsf{Presentation},
\mathsf{Bridge},
\mathsf{Fiber},
\mathsf{Certificate}.
}
$$

基礎 predicates / relations 至少包含：

$$
x\triangleleft W,
$$

$$
x\in_WA,
$$

$$
\operatorname{Hosted}(A,W),
$$

$$
\operatorname{Presents}(P,W,t),
$$

$$
\operatorname{Null}_{act}(W,t),
$$

$$
\operatorname{Null}_{rel}(W,t),
$$

$$
\operatorname{Null}_{gen}(W,t),
$$

$$
W\hookrightarrow W',
$$

$$
W\rightsquigarrow W'.
$$

Overlap、Duality、Tension 將在後續 Papers 正式加入。

---

# 30. OIGT-F1：Sort Separation Axiom

$$
\boxed{
\mathsf{World}
\not\equiv
\mathsf{LocalSet}.
}
$$

不同 sort 不允許無橋接 equality。

這是 foundation 的第一條型別防線。

---

# 31. OIGT-F2：Local Membership Axiom

Membership 必須由合法 kernel 給出：

$$
\boxed{
x\in_WA
\Rightarrow
A:\mathsf{Set}_W.
}
$$

不存在無索引、無 domain 的自動 global membership。

---

# 32. OIGT-F3：Residency Separation Axiom

$$
\boxed{
x\triangleleft W
\not\Rightarrow
\exists A,
\quad
x\in_WA.
}
$$

世界 residency 不必透過一個集合 membership 才成立。

反向亦不自動成立。

---

# 33. OIGT-F4：Local Empty Uniqueness

對任一採 extensional set kernel 的：

$$
W,
$$

存在唯一：

$$
\boxed{
\varnothing_W.
}
$$

其唯一性只相對：

$$
K_W.
$$

---

# 34. OIGT-F5：Null Non-Identity Axiom

$$
\boxed{
\operatorname{Null}_{act}(W_i)
\land
\operatorname{Null}_{act}(W_j)
\not\Rightarrow
W_i=W_j.
}
$$

局部空性不是 world identity condition。

---

# 35. OIGT-F6：No Required Universal World Container

本理論不要求存在：

$$
W^\ast
$$

使任意：

$$
W
$$

皆為其 component、member 或 subworld。

即：

$$
\boxed{
\neg
\operatorname{Require}
\left[
\exists W^\ast
\forall W
\;
W\preceq W^\ast
\right].
}
$$

注意此公理不是宣稱：

> 不可能存在巨大共同 world。

而是：

> foundation 不要求其存在。

---

# 36. OIGT-F7：Global Quantifier / Container Separation

$$
\boxed{
\forall W:\mathsf{World}
}
$$

合法，

但不推出：

$$
\exists U
\quad
\forall W,
\quad
W\in U.
$$

---

# 37. OIGT-F8：Presentation Separation

$$
\boxed{
\operatorname{Presents}(P,W,t)
\not\Rightarrow
P=W.
}
$$

任何有限形式表示均不得無證據升格為 World identity。

---

# 38. OIGT-F9：Extension Preservation

若：

$$
W\hookrightarrow_\iota W',
$$

則所有宣告為 preserved 的 invariant 必須有 transport witness：

$$
\boxed{
\forall I\in\operatorname{Preserve}(W),
\quad
\iota(I)
\simeq
I'.
}
$$

否則該變化應被標記為 revision 或 failure。

---

# 39. OIGT-F10：Revision Explicitness

若核心 law / identity contract 發生不保守修改：

$$
\Gamma_W
\not\simeq
\Gamma_{W'},
$$

則：

$$
W\rightarrow W'
$$

不得默認標成 ordinary extension。

必須顯式：

$$
\boxed{
W\rightsquigarrow W'.
}
$$

---

# 40. OIGT-F11：Finite Active Realization

對任何實際 runtime state：

$$
t,
$$

要求：

$$
\boxed{
|\operatorname{Active}_t|<\infty.
}
$$

本文不要求 metaphysical world 本體有限。

此條只約束 realized computational support。

---

# 41. OIGT-F12：No A-Priori Expansion Ceiling

不存在由 foundation 強制的固定有限：

$$
N
$$

使：

$$
\operatorname{Depth}(W_t)\leq N
$$

對所有未來 expansion 必須成立。

因此：

$$
\boxed{
\text{Finite Active Realization}
+
\text{No Required Finite Maximum}.
}
$$

---

# 42. 第一個推論：多個 Null Worlds 不與空集唯一性衝突

假設：

$$
\operatorname{Null}_{act}(W_1),
$$

$$
\operatorname{Null}_{act}(W_2).
$$

由 F5：

$$
W_1
$$

與：

$$
W_2
$$

不必相等。

而：

$$
\varnothing_{W_1}
$$

與：

$$
\varnothing_{W_2}
$$

分別只在各自 kernel 中滿足 empty-set uniqueness。

所以：

$$
\boxed{
\text{multiple null worlds}
}
$$

不等於：

$$
\boxed{
\text{multiple empty sets inside one extensional set universe}.
}
$$

因此沒有直接違反 ZFC 的空集唯一性。

---

# 43. 第二個推論：不存在 Russell 型「所有 World 集合」要求

OIGT 不形成：

$$
U_W
=
\{W\mid W:\mathsf{World}\}
$$

作為 object-level set。

因此不需要問：

$$
U_W\in U_W?
$$

這類問題。

「所有 World」首先由：

$$
\forall W:\mathsf{World}
$$

表達。

所以：

$$
\boxed{
\text{World totality}
\neq
\text{World member}.
}
$$

這不表示所有自指悖論已被解決，只表示其中一種 type collapse 被阻止。

---

# 44. 第三個推論：全域可以沒有最大成員

若：

$$
W_0
\hookrightarrow
W_1
\hookrightarrow
W_2
\hookrightarrow
\cdots
$$

則可以具有：

$$
\boxed{
\text{unbounded coverage}
}
$$

而不要求存在：

$$
W_{\max}.
$$

因此：

$$
\boxed{
\text{Global Reach}
\neq
\text{Maximum World}.
}
$$

---

# 45. 第四個推論：有限計算與無界世界不矛盾

在任一：

$$
t,
$$

只處理：

$$
A_t
$$

且：

$$
|A_t|<\infty.
$$

下一時刻可以：

$$
A_t
\rightarrow
A_{t+1}.
$$

所以沒有要求：

$$
|A_t|=\infty.
$$

卻仍可以沒有預先有限 expansion ceiling。

因此：

$$
\boxed{
\text{finite computer}
\not\Rightarrow
\text{pre-fixed finite world}.
}
$$

---

# 46. Kernel Heterogeneity

兩個世界：

$$
W_A,
\qquad
W_B
$$

可以採不同 kernel：

$$
K_A
\neq
K_B.
$$

例如：

$$
K_A\models\mathrm{ZFC},
$$

而：

$$
K_B
$$

採另一形式 foundation。

OIGT 不要求立即判定其中一方必須被另一方吸收。

後續只要求：

$$
\boxed{
\text{cross-kernel operations require explicit bridge}.
}
$$

---

# 47. Shared Kernel 不等於 Shared World

反過來：

$$
K_A=K_B
$$

也不推出：

$$
W_A=W_B.
$$

兩台電腦完全可以都使用 ZFC、IEEE 754、UTF-8 與同一程式語言，而仍然：

$$
W_A\neq W_B.
$$

因此：

$$
\boxed{
\text{Shared Foundation}
\neq
\text{Shared World Identity}.
}
$$

---

# 48. Shared Empty Set 不等於 Shared World

甚至若 bridge 宣告：

$$
\varnothing_{W_A}
\simeq
\varnothing_{W_B},
$$

也不推出：

$$
W_A=W_B.
$$

因為 world identity 還可能取決於：

- history；
- authority；
- boundary；
- rules；
- frontier；
- relation topology；
- provenance。

---

# 49. OIGT 的「非集合」到底否定什麼？

OIGT 所謂 Non-Set Global Domain，不是：

> 世界中不能有集合。

也不是：

> 集合論錯誤。

而是：

$$
\boxed{
\text{the global cross-world domain is not required to be represented as one object-level set}.
}
$$

所以「非集合」是：

$$
\boxed{
\text{anti-universal-container requirement},
}
$$

不是：

$$
\boxed{
\text{anti-set-theory}.
}
$$

---

# 50. 形式後端與本體層分離

OIGT 可以由很多既有數學工具實現。

某一版本可以用：

- many-sorted FOL；
- dependent type theory；
- NBG/MK class theory；
- institution theory；
- category/fibration；
- graph rewriting；
- distributed transition systems。

但：

$$
\boxed{
\text{formal backend}
\neq
\text{OIGT ontology by definition}.
}
$$

這使 OIGT 可以持續更換形式化工具，而不必把整個理論綁死在單一 foundation。

---

# 51. 本文尚未處理的問題

Paper 01 刻意暫不完成：

1. World overlap 的正式 algebra；
2. bridge composition；
3. triple-overlap coherence；
4. duality tower；
5. non-dual tension；
6. infinite fiber generation；
7. matrix projection；
8. distributed execution；
9. paradox applications。

這些將由後續 Paper 02–08 處理。

---

# 52. 第一版核心型別圖

目前可以把整個基礎寫成：

$$
\boxed{
\begin{array}{ccccc}
\mathsf{World}
&\not=&
\mathsf{LocalSet}
&\not=&
\mathsf{Presentation}
\\[4pt]
\downarrow
&&
\downarrow
&&
\downarrow
\\
\text{residency}
&&
\text{membership}
&&
\text{finite realization}
\end{array}
}
$$

並且：

$$
\boxed{
\forall_{\mathsf{World}}
\neq
\text{membership in a universal World set}.
}
$$

---

# 53. 核心形式總結

OIGT Paper 01 最終建立：

$$
\boxed{
\begin{aligned}
&\mathsf{World}\neq\mathsf{Set},\\
&x\triangleleft W\neq x\in_WA,\\
&\varnothing_W\neq\operatorname{Null}(W),\\
&\forall W\neq \forall W\in U_W,\\
&P_t(W)\neq W,\\
&W\hookrightarrow W'\neq W\rightsquigarrow W',\\
&\text{Finite Active}\neq\text{Finite Maximum}.
\end{aligned}
}
$$

---

# 54. 最終命題

本文的核心可以收斂成一句話：

> **世界不必先成為集合才能存在於形式系統中；集合可以是世界內的局部數學結構，而跨世界的全域量化、擴張與互操作不必以一個包含所有世界的最大集合為前提。**

形式上：

$$
\boxed{
\text{Local Set Kernels}
+
\text{Primitive World Sort}
+
\text{Open Fragment Semantics}
}
$$

共同取代：

$$
\boxed{
\text{One Universal Set-Like World Container}.
}
$$

由此，OIGT 第一次獲得一個能同時容納：

- 局部集合論；
- 多個世界；
- 多個 Null Worlds；
- 非全域容器式量化；
- 有限 Runtime；
- 無界未來擴張；

而不立即發生型別衝突的最低形式骨架。

---

# 結論

Paper 00 回答：

> 為什麼需要一套沒有 Universal World 的 Globality Theory？

Paper 01 回答：

> 如果沒有 Universal World，形式系統到底如何開始？

答案不是取消數學世界、集合或全域。

而是先把它們分型：

$$
\boxed{
\text{World}
\neq
\text{Set}
\neq
\text{Presentation}.
}
$$

再把：

$$
\boxed{
\text{Membership}
\neq
\text{Residency}
}
$$

與：

$$
\boxed{
\text{Quantification}
\neq
\text{Containment}
}
$$

分離。

最後讓所有實際計算只作用於有限 fragment：

$$
\mathcal M_t,
$$

卻保留：

$$
\mathcal M_t
\hookrightarrow
\mathcal M_{t+1}
$$

持續開放的可能性。

因此 OIGT 的 Global Domain 不再是一個「已經裝好所有世界的盒子」。

它更接近：

$$
\boxed{
\text{an open domain of continually admissible world extension}.
}
$$

也就是：

> **全域不是最大容器，而是永遠可以合法繼續接入下一個世界的開放資格。**

---

**Version:** Draft v0.1  
**Status:** Foundational Formal Draft  
**Next:** OIGT Paper 02 —《開放空世界：從唯一空集到可擴張局部空性》