Mario Livio Quote

This development had dramatic philosophical consequences. As in the case of the non-Euclidean geometries in the nineteenth century, there wasn't just one definitive set theory, but rather at least four! One could make different assumptions about infinite sets and end up with mutually exclusive set theories. For instance, once could assume that both the axiom of choice and the continuum hypothesis hold true and obtain one version, or that both do not hold, and obtain an entirely different theory. Similarly, assuming the validity of one of the two axioms and the negation of the other would have led to yet two other set theories.This was the non-Euclidean crisis revisited, only worse. The fundamental role of set theory as the potential basis for the whole of mathematics made the problem for the Platonists much more acute. If indeed one could formulate many set theories simply by choosing a different collection of axioms, didn't this argue for mathematics being nothing but a human invention? The formalists' victory looked virtually assured.