(现代数学家随手就可以定义出一个完备的逻辑系统,逻辑不逻辑和战力不挂钩,某个宇宙适用的逻辑放在另一个宇宙完全无法运行,逻辑只是一个依托现实宇宙规律而存在的半独立系统,逻辑<现实<数学,数学具备普适性。)
“接下来是……极限迭代?”
极限迭代:
定义序数记号系统:p记号。
令p(0)为强极限,p(0)的后继为p(1),是为强极限的强极限,p(1)的后继为p(2),是为强极限的强极限的强极限……
引入概念:共尾数,能够到达n的最短序列就是n的共尾数,写作cf(n)。
标准的后继基数的共尾数都是1,令n为后继基数,cf(n)=1。
标准的强极限基数的共尾数都是w,令n为后继基数,cf(n)=w。
cf(n)=n的,我们称之为正则基数。
cf(n)=1的,我们称之为后继基数。
cf(n)>w的,我们称之为奇异基数。