I believe that Fibonacci primes are infinite. Currently there is no proof that there is an infinite number of Fibonacci primes. I was wondering why we couldn't compare the set of Fibonacci primes to the set of Natural Numbers and demonstrate that both have cardinality aleph null? Indeed, why couldn't we do that for Mersenne primes, Sophie Germain primes, Wilson primes etc. Wouldn't that imply that these sets of prime numbers are infinite? I'm assuming if it were that easy someone who have demonstrated that by now. Clearly, that is not the case, so I am wondering why it is so difficult to prove that these sets of Prime numbers are infinite. After all, Euclid demonstrated that the set of primes is infinite; wouldn't that imply that its subsets would be infinite too?