El primer axioma nos dice que el conjunto formula_1 contiene, para empezar, un elemento (el cero).