od Putnama (formalne dowodzenie twierdzeń) do de novo odkrywania matematycznego, przyjdź i rób z nami wspaniałą pracę w Axiom