En este sentido HC se dice indecidible y es probablemente el ejemplo más famoso de una afirmación natural independiente de los axiomas convencionales de la teoría de conjuntos.