In the esoteric world of mathematical logic, a dramatic discovery has been made. Previously unnoticed gaps have been found at the very heart of maths. What is more, the only way to repair these holes is with monstrous, mysterious infinities.
To understand them, we must understand what makes mathematics different from other sciences. The difference is proof.