Euclid's proof isn't a proof by contradiction. As the wikipedia page says:
>"Euclid is often erroneously reported to have proved this result by contradiction"
It simply says that if you are constructing a list of primes, you can always add one more to the list, therefore there are infinitely many.
