de la Putnam (demonstrarea teoremei formale) până la descoperiri matematice de novo, vino să faci o treabă excelentă cu noi la Axiom