van Putnam (formeel theorema bewijzen) tot de novo wiskundige ontdekking, kom geweldig werk met ons doen bij Axiom