dari Putnam (pembuktian teorema formal) hingga penemuan matematika de novo, ayo lakukan pekerjaan hebat bersama kami di Axiom