fra Putnam (formell teorembevising) til de novo matematisk oppdagelse, kom og gjør stort arbeid med oss hos Axiom