用户: EmberEdison

挖下一些坑, 看看我自己有没有能力填...

1许愿中的条目

•	玄宇宙公理
•	新基础集合论

•	用户:EmberEdison/新基础集合论

•

我只打算翻译名词, 并且只收录定义良好明确的条目.

∘

观念大数是只在特定的数学哲学下才大的大数函数. 比如: Rayo 数, 只有在数学柏拉图主义下的那个「真正」的集合论宇宙中 (柏拉图宇宙) 中它才大.

▪	观念大数和模型论大数的本质区别是, 观念大数最大强度的那一个具体实现无法以祛除自然语言的形式写出. 模型论大数则可以.

∘

模型论大数是依赖于集合论的特定模型下才大的大数函数, 在此模型之外也许并不大或者根本就不一致. 比如 $FGH_{PTO(ZF+Reinhardt 基数)} (64)$ .

▪	显然每一个观念大数都是模型论大数.

∘

超图灵大数是涉及到超越了图灵可判定范围的大数函数. 忙海狸数位于此处.

▪	显然每一个模型论大数都是超图灵大数.

∘

可判定大数就是可判定函数的大数函数.

▪	也许会嵌入一整张序数分析表.

∘

数论大数就是著名的初等数论论文中出现的已被命名的大数. 他们相对于以上的条目来说非常小.

∘