In 1963 it was proved that a celebrated mathematical hypothesis put forward by Georg Cantor could not be proved. This profound development is explained by analogy with non-Euclidean geometry ...