Por ejemplo, si consideramos la Conjetura de Goldbach, todo número par mayor que 2 puede expresarse como la suma de dos números primos y es posible de comprobar, para un número determinado, si así sucede o no.