集合论
如果ω是自然数的集合，则"V"ω是继承有限集合的集合，它是不带有无穷公理的集合论的模型。"V"ω+ω是普通数学的全集。它是Zermelo集合论的模型。如果κ是，则"V"κ是Zermelo-Fraenkel集合论自身的模型，而"V"κ+1是Morse–Kelley集合论的模型。