To determine the nature of infinity, mathematicians face a choice between two new logical axioms. What they decide could help shape the future of mathematical truth.