desde Putnam (prova formal de teoremas) até à descoberta matemática de novo, venha fazer um grande trabalho connosco na Axiom