von Putnam (formale Theorembeweise) bis hin zu neuartigen mathematischen Entdeckungen, komm und leiste großartige Arbeit mit uns bei Axiom