pretation）。
第四层：终极集合。
终极集合假说由泰马克自身所倡导。可以采用不同的数学结构进行记述的宇宙被认为是全部以对等的方式而实际存在的。不可观测的宇宙的不同的低能量的物理法则并不包括其中。泰马克倡导如下的观点。抽象数学是非常普遍的存在，（从人类的暧昧的语言中分离出来）无论以什么样的纯粹的语言都可定义的万物的通用理论（TOE）都脱离不了数学结构。
比如，包含不同种类的实体（用语言的表述的话）及其关系（再用语言表述）的TOP不仅被数学者们称为集合论模式，通常也把该种集合论的模式看成是构成的形式体系。这就暗示了所有的可以想象的平行宇宙理论在层次四阶段可以被记述。因为层次四的平行宇宙包含了全部的其他的集合，从而成为了平行宇宙阶层的上限。导致了失去考虑层次五的平行宇宙的余地。
尤尔根·施密特胡贝尔（Jürgen Schmidhuber）提出了“数学的构造的集合”并没有被明确的定义这一不同意见。他只赞同构造性数学（Constructive mathematics），即通过电脑程序可以进行记述的宇宙表述。
其中，输出位可以被控制在有限的时间内，控制时间的本身会因为库尔特的极限而受到程序的影响无法做出预测，但是由于非停止程序的原因，可以被记述的宇宙的表述非常明确的包含其中。另外，他对相对受限的可以进行极快运算的宇宙集合提出了明确的异议。
针对平行宇宙的主要争论在于，它们很浪费并且很离奇，来依次考虑这两点。首先，平行宇宙理论很容易被奥卡姆剃刀原理所攻击，因为它们假设了其他宇宙存在，而人们却永远观测不到。为何自然在本体上如此浪费，并沉溺于这些多到无穷无尽的不同世界，但这一点也可以反过来支持平行宇宙。当人们觉得自然过于浪费时，人们到底是在困惑关于它浪费的哪一点，显然不是“空间”，因为标准的平坦宇宙模型中无限的体积并没有引起这样的反对。也不是“物质”或“原子”——理由相同，一旦已经浪费了无限的东西，谁在乎再浪费多点呢。
所以，这种令人困惑的“浪费”倒不如说是一种简化，它减少了说明所有这些不可见世界所需的信息量。然而，正如泰马克详细讨论过的那样，整个集合往往要比集合中的单个元素简单得多。例如，一个普通整数n的算法信息内容在 量级上，这就是将它用二进制写出来所需要的比特数。然而，所有
…。。