Элементы теории множеств и математической логики в школьном курсе математики