Conjunto que tiene todos los primos

Me parece un poco interesante la manera que defini este conjunto me parece que pudiera generar una funcion recursiva o recurrente, para los primos...

Vamos a ver como sale, aqui esta la formula

P={a : a,b pertenecen  Z+/{1} and a*b no pertenece a P}