To exist (in mathematics), said Henri Poincaré, is to be free from contradiction. But mere existence does not guarantee survival. To survive in mathematics requires a kind of vitality that cannot be described in purely logical terms.
Mark Kac, Stanislaw M. Ulam (1968). “Mathematics and Logic”, p.8, Courier Corporation
