desde Putnam (demostración formal de teoremas) hasta el descubrimiento matemático de novo, ven a hacer un gran trabajo con nosotros en Axiom