s function）。
证明.由集合论的一些基本定理可以很容易证明哈特格斯数的存在：令formula_11为所有满足“存在从该序数formula_12到集合formula_1的单射”的序数formula_12组成的类。首先，我们来证明formula_3是集合：接下来，由于序数的传递集也是序数，因此formula_3是序数。更进一步地，不存在从formula_3到formula_1的单射——否则就会导致formula_26的矛盾（因为formula_3是序数，