Теперь ни одно доказательство нельзя было признать безусловно достоверным, ни одну теорию невозможно было убедительно обосновать. Нет, конечно, с чисто практической точки зрения в математике мало что изменилось: 2 + 2 по-прежнему равнялось 4, а утверждение, что 2 + 2 = 5, как и раньше, оставалось ложным. Тревогу вызывал тот факт, что теперь не было никакой возможности доказать эти утверждения.