A este último conjunto puede aplicársele de nuevo el axioma de pares, dando lugar al conjunto , conjunto al cual puede aplicarse también el axioma de pares, obteniéndose el conjunto {}, y así sucesivamente.