від Патнама (формальне доведення теорем) до de novo математичного відкриття — приходьте працювати з нами в Axiom