da Putnam (dimostrazione formale dei teoremi) alla scoperta matematica de novo, vieni a fare un grande lavoro con noi in Axiom