The infinitude of primes is a fundamental theorem in number theory, stating that there are infinitely many prime numbers. This was first proven by Euclid, who showed that for any finite list of primes, there is always another prime not on the list, thus ensuring the endless continuation of primes.