Last winter, at a meeting in the Finnish wilderness high above the Arctic Circle, a group of mathematicians gathered to contemplate the fate of a mathematical universe. It was minus 20 degrees Celsius, and while some went cross-country skiing, Juan Aguilera, a set theorist at the Vienna University of Technology, preferred to linger in the cafeteria, tearing pieces of pulla pastry and debating the nature of two new notions of infinity. The consequences, Aguilera believed, were grand. “We just don...