Obviamente el propio conjunto formula_3 constituye una axiomatización trivial y poco interesante de formula_3.