från Putnam (formell satsbevisning) till de novo matematisk upptäckt, kom och gör ett fantastiskt arbete med oss på Axiom