de Putnam (demonstração formal de teoremas) a descobertas matemáticas de novo, venha fazer um ótimo trabalho conosco na Axiom