Teoria dos crivos são conjuntos de técnicas gerais dentro da teoria dos números, criadas para contar ou estimar o tamanho de um conjunto de números inteiros. O exemplo primordial de um conjunto crivado (ou peneirado, pois crivo significa peneira) é o do conjunto dos números primos menores ou iguais a x. Ainda neste exemplo primordial o método mais difundido é o do crivo de Eratóstenes, ou de um modo mais geral, o crivo de Legendre. Um ataque direto sobre o conjunto dos números primos usando estes métodos mostra obstáculos aparentemente insuperáveis, em acumulação de términos de erros durante o percurso.