Putnam'dan (resmi teorem ispatı) de novo matematiksel keşfe kadar, Axiom'da bizimle harika işler yapın