Describir: Axioms of Infinity as the Starting Point for Rigorous Mathematics.