Цахим шуудангийн бүртгэл: Элементы математической логики и теории множеств