A consortium of today's greatest mathematicians have laid out new foundations. They all lie upon one single axiom, called univalence. With univalence, our Arabic numbers aren't just like natural numbers; They are natural numbers. Univalence also has unforeseen and mesmerizing consequences.
