Putnamista (muodollinen teoreeman todistaminen) de novo matemaattiseen löytöön, tule tekemään hienoa työtä kanssamme Axiomilla