Saludos, el problema es precisamente ese, ser arbitro y juez. La experiencia parece mostrar que en la teoría se puede cumplir cualquier axioma matemático. Las consecuencias de eso son otra cosa. Gracias por el comentario.