od Putnama (důkaz formální věty) až po de novo matematický objev, přijďte dělat skvělou práci s námi v Axiomu