Euclid … manages to obtain a rigorous proof without ever dealing with infinity, by reducing the problem [of the infinitude of primes] to the study of finite numbers. This is exactly what contemporary mathematical analysis does.

2.4, "Discrete Mathematics and the Notion of Infinity", p. 45 - The Forgotten Revolution: How Science Was Born in 300 BC and Why It Had to Be Reborn (2004)