Der Beweis der Kontinuumshypothese wurde einst intensiv gesucht. Vor 60 Jahren konnte gezeigt werden, dass die Frage nicht entscheidbar ist
