Que nadie piense que hay algún reducto de la Matemática moderna que ha escapado al formalismo.