De hecho, ni siquiera se sabe si formula_12 es racional o irracional.