от формального доказательства теорем в Патнаме до нового математического открытия, приходите и делайте отличную работу с нами в Axiom