Si se aplica el axioma de pares a un solo conjunto formula_6, se obtiene el par {formula_74} cuyo único elemento es, obviamente, formula_17, y por ello puede representarse como formula_76.