第134章 層譜與反轉（第5頁）

層譜回路公理——

公理（全階掌控）：

存在運算映射Φ:

ord（或更上層級）

→

v，滿足：

?a∈ord（或更上層級），

Φ（a）

=

（l_a，

Ψ_a）

∧

（?x∈l_a）（?y∈l_{a+1}）（Ψ_a（x，y）

?

y

=

x^+）

其中x^+表示x在l_{a+1}中的超限擴展，

具體層譜實例——

1。算術層譜：l?

=

（n，

π?），

2。圖靈層譜：l?

=

（tm，

π?），

3。集合層譜：l?

=

（v，

π?），