Whatever one's opinion of attempts at formalization, it is in any case quite certain that they lay no claim to provide a logic of invention, and that no logical definition of a triangle could equal in fecundity the vision of the figure, or enable us to reach, through a series of formal operations, conclusions not already established by the aid of intuition.