Основы теории множеств и логики в математике