The following is a topological proof of the infinitude of primes due to Furstenberg.
Consider a topology on generated by family of sets . It is easy to verify that this collection forms a basis for the topology. Now every non empty open set in is infinite so that no finite set is open. Also the sets are both open and closed as they are the basis sets and so that they are closed.
Since and are the only integers that are not multiples of primes we have . Note that since is not open ( it is finite ), its complement is not closed. And if there were only finitely many primes, the right side of the above equality will be a finite union of closed sets and hence would be closed which would be a contradiction. This proves the result.
The fact that certain topological property of arithmetic sequences gives you this result is interesting. The topology considered is called Evenly spaced integer topology. There are several other interesting topologies on like prime integer topology and the relatively prime integer topology, divisor topology, etc which give several important results in arithmetic.