Vamos analisar cada uma das afirmativas: I. O conjunto dos números primos é infinito. Verdadeiro, essa é uma afirmação clássica na teoria dos números, provada por Euclides. II. Se um conjunto tem um subconjunto infinito, então é infinito. Verdadeiro, essa afirmação é correta, pois um conjunto que contém um subconjunto infinito não pode ser finito. III. O conjunto dos números racionais não é infinito. Falso, o conjunto dos números racionais é infinito, pois existem infinitas frações que podem ser formadas com números inteiros. IV. O conjunto dos números pares é finito e enumerável. Falso, o conjunto dos números pares é infinito, embora seja enumerável (ou seja, podemos listar os números pares como 2, 4, 6, 8, ...), ele não é finito. Com base nas análises, as afirmativas verdadeiras são I e II. Portanto, a alternativa que contém todos os itens verdadeiros é: I e II.