造formula_83，即formula_72上的超结构。这通常被认为是“一般数学的全集”。其意思是指，一般研究的所有数学对象，都已作为这个全集的元素而包含其中。例如：任何通常的实数的构造方式（比如通过戴德金分割）都会属于formula_83。即使是非标准分析，也能够在自然数的一个非标准模型上的超结构中进行。应当注意，这个部分在观念上有些改变，这里全集是任何被关心的集合formula_4。上个部分中，被研究的集合是全集的"子集"；而现在，它们是全集的"元素"。这样尽管formula_87是一个布尔格，但