Esto significa que no debemos pensar que un teorema sea definitivamente cierto, sólo que, por ahora, no se ha encontrado un contraejemplo.