书看迷

第477章 27 谓词（第1页）

1阿列夫零领域里的部分可数序数（从小到大）。

定义：w↑ck_1＝Ω。

ψ_i（0）＝sup｛Ω，Ω_Ω，Ω_Ω_Ω，……｝

ψ_Ω_ψ_（i（0）+1）（0）＝sup｛ψ_i（0），ψ_i（0）↑ψ_i（0），ψ_i（0）↑ψ_i（0）↑ψ_i（0），……｝

ψ_Ω_ψ_（i（0）+1）（Ω_ψ_（i（0）+1））＝sup｛0，ψ_Ω_ψ_（i（0）+1）（0），ψ_Ω_ψ_（i（0）+1）（ψ_Ω_ψ_（i（0）+1）（0）），……｝

ψ_Ω_ψ_（i（0）+1）（Ω_ψ_（i（0）+w））＝sup｛0，ψ_Ω_ψ_（i（0）+1）（0），ψ_Ω_ψ_（i（0）+2）（0），……｝

ψ_i（i）＝sup｛0，ψ_i（0），ψ_i（ψ_i（0）），……｝

ψ_i（ψ_i_2（0））＝sup｛ψ_i（Ω_（1+1）），ψ_i（Ω_Ω_（1+1）），ψ_i（Ω_Ω_Ω_（1+1）），……｝

ψ_i（ψ_i_2（i））＝sup｛ψ_i（ψ_i_2（0）），ψ_i（ψ_i_2（ψ_i（ψ_i_2（0）））），ψ_i（ψ_i_2（ψ_i（ψ_i_2（ψ_i（ψ_i_2（0）））））），……｝

ψ_i（ψ_i_2（i_2））＝sup｛ψ_i（ψ_i_2（0）），ψ_i（ψ_i_2（ψ_i_2（0））），ψ_i（ψ_i_2（ψ_i_2（ψ_i_2（0）））），……｝

ψ_i_w（0）＝sup｛i，i_2，i_3，……｝

ψ_（x（1，0））（0）＝sup｛i，i_i，i_i_i，……｝

x（1，0）这个是最小的递归不可达序数（＞＞不可递归序数（w↑ck_α的那种就是不可递归序数），也就是三卷72里首次写在妄想序列里的adissible序数。），后面还有不可达序数、马洛序数、弱紧致序数、……、反射序数、……、稳定序数、……啥啥啥的。

ψ_（x（，0））＝sup｛x（1，0）s，x（x（1，0），0），x（x（x（1，0），0），0），……｝

x（，0）是最小的hyper_递归不可达序数。

是最小的不可达序数。

Ξ（k，0）是最小的hyper_不可达序数。

k是最小的马洛序数。

期间省略了无限的可数序数，至于是哪些……你们自己悟。

2谓词宇宙。

谓词，即用来代替或者展示其客体性质、特征或者客体之间关系的词项。

谓词的特征：

谓词常项——

表示某个确定判定的谓词称为谓词常项。

谓词变项——

尚未确定的谓词称为谓词变项。

n元谓词——

在一个命题中，若有n个客体名称与谓词相联系，则称该谓词为n元谓词。