https://filesoo.com/product/4661/логическое-введение-в-математику