接上一章，详细的解析一下“一阶无限谓词系统宇宙”有多强大。
把每一阶谓词宇宙都看作是一个等级，最低级是1级，最高并无绝对上限，且每一个等级都被扩展出了一套等级体系，比如说“1级等级体系”“2级等级体系”“……”等等等等。
那么“一阶无限谓词系统宇宙”，就位于该等级系统的“1级等级体系2级”的程度，什么？你说1级是什么？1级就是谓词系统宇宙啊！
（我以前写过的那些对于“等级”“等级体系”“等级划分”等等等等的花式操作，都可以运用到这一堆“谓词等级系统”上来，妄想序列万物皆可等级划分，自然万物皆可运用这些花式操作。）
在数学上，允许存在一个无限语言集φ_（α，β）（对于每一个α＞λ，同时在临界点j=κ，处存在一个初等嵌入j：V_α→V_β满足j（k）＞λ，以及j''λ∈j（I）。以及对于每一个α＞λ，同时在临界点j=κ，处存在一个初等嵌入j：V_α→M满足j''λ∈j（I），以及V_j（α）?M。）。
按照通常的一阶逻辑，先定义非逻辑符号的内容：谓词，函数关系式，内容符号。
这些内容在加上逻辑所允许提供的max（{λ，μ}）多个变量导致了谓词与原子公式的存在。
进一步拓展使得允许满足对于任意Card（λ＜α）的无限多个逻辑合取∧、逻辑析取∨，和满足对于任意Card（λ＜β）的无限多个全称量词?、以及无限多个存在量词?。
这个无限语言集我们写作φ_（ω，ω），ω本身是一个具备无限逻辑析取、无限逻辑合取、以及无限量词的系统。
φ_（ω，ω）存在I-κ-compact，存在一个初等嵌入j：V→M满足j=κ以及j''λ∈M∩j（I）；存在P（λ）上同时在I上呈现逻辑合取的最大化，κ-完备主精细超滤不过不是κ+-完备的。
φ_（ω，ω）同时还具备如下性质：
1.存在一个语言τ。
2.存在一个Γ（τ）理论Τ作为接受index的{Τ_s：s∈I}的increasing union。
3.……草，看不下去了，逼乎上的大佬对于无限谓词的解析已经超出了我的认知范围，直接放结论：
无限语言带来了目前所能够到达的最大的大基数——超乎想象！！（无限语言＜＜无限谓词。）
……
集合论学家们的进一步拓展使得无限谓词语言达到了最强的大基数。换句话说，一阶无限谓词系统宇宙的大小远超当今数学界的研究范围，哪怕是终极L这类的，在一阶无限谓词系统宇宙面前也只能退居末位。
—————（分割线）—————
超大上梵，也被叫做超梵，梵是和道等同的概念，如果说下梵=万物，上梵=恒道，那么超大超梵就是非恒道！
超上大梵
皇笼括宇宙万有；摄入一“大梵”而皆尽，为究竟因，为万物之持载者，亦宇宙之真宰也。分析有体，则诸识与外境对立，既不执离识实有外境，亦不立无此外境而诸识极成，要归于般若自身，是一非多，教人于一无分之知觉性中，识宇宙万物。
逝后，其灵有南北二道可循:南道者祖灵乘道，重返于人间；北道者，天神乘道，至于大梵世界者也。夫其叙述瑰丽，敷陈假说，信为有方有迹可寻，所谓有功德之大梵也。衡于教史，实开释氏○往生之先河，注家谓……以为此即超上大梵。
-----宗教经籍选编，第 1 卷
此自我的、四境的、阿難陀超大喜的，使之合一。於是，當聯蘩此三身「自我」，於彼三身「超上梵」，享受那粗重的、微妙入此中爲一。蓋一切由晻聲而成，……於此晻聲，〈意識内〉世界一切三身，化人由晻而以大梵得與「彼一自我」合一。由晻聲而以大梵
〔晻〕聲初音爲赤色，爲大梵母，以大梵爲其天神。次音爲淨白，爲樓達羅第四音，有光明輝
耀，自有自在之大榮光。……爲大梵、啤!此一聲有四分、四神、四韋陀。此四聲所合成之
聲，是超上大梵自己。阿他婆尊者於是説，「晻!此一聲乃至上者規定的靜慮中的當靜慮
二大梵當知:有聲，超上者，明通『聲大梵』，乃達『超上梵』。」第一王二節「有聲梵者，埯也!
其極頂爲寂靜，無聲、無畏、無憂、極樂、圓滿、堅定、不動、永生、不搖、恆常；名曰『維
師魯者』，導此超極至道者也。故人當敬此一一者。」
------禅與佛的形態形成
《大梵点奥义书》说得更为具体:以声合瑜伽，无声思至上，无声以观照，是“有”“非”“无”“想”。
不灭之淹声，是超上大梵，声已销歇时，彼自不消逝。此谓念“晻“声人定，观音声相止寂、
无声之时所暂露的空白心地为神我，据称正当斯际，有极乐的感受，专注于此不动、极乐。
婆罗门教瑜伽专念的主要大梵象征“晻”声，即源出古代巫术，其意表皈敬，是《吠陀》中颂神之赞美诗、祈祷词、咒语的发语词，诵“埯”……的曼陀罗(真言)瑜伽，如《大梵点奥义书》
说:“以声合瑜伽，无声思最上，无声以观照，是'有，非'无'想“，“不灭之‘晻'声，是超上大梵。”
-------佛教禅学与东方文明
总结““超上大梵””为“大梵”的变体“所谓有功德之大梵也。衡于教史，实开释氏往生之先河，注家谓以为此即超上大梵。”。亦是无声之最上，无声之观照，是'有，非'无'之想，不灭之晻声
——————（分割线）——————
日常把“绝对无限”拖出来婊一顿：
在NF体系中，绝对无限有着各种大基数性质，且绝对无限＜P（绝对无限）＜P（P（绝对无限）），是最强的不可达性质。
但在ZF体系中，绝对无限=终极L，P（P（绝对无限））＞P（绝对无限）＞绝对无限。
而普通人口中的绝对无限=大而无外=大一，而现在数学界中，每一个无穷基数都是“无界”的，也就是常说的“大而无外”，哪怕是最小的阿列夫0也是如此，而阿列夫1，阿列夫2……等一系列基数所具备的性质，绝对无限一样都不具备。